Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
coq
/
plugins
/
ssrmatching
5 files
at
master
Pierre Roux
·
Turn notation into a record
·
3w ago
12fd9680
dune
Remove compat coq-core libraries (not executables)
5mo ago
g_ssrmatching.mlg
Abstract away the type of x_in patterns in Ssrmatching.
11mo ago
g_ssrmatching.mli
Rename the Pcoq module into Procq.
2y ago
ssrmatching.ml
Turn notation into a record
3w ago
ssrmatching.mli
Fix handling of polymorphic universes in ssr matching
1mo ago
