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
/
syntax
5 files
at
master
Pierre-Marie Pédrot
·
Remove Constr.eq_constr_nounivs.
·
1mo ago
ee6b23af
dune
Remove compat coq-core libraries (not executables)
5mo ago
g_number_string.mlg
Split some primitive notation code from notation.ml
1y ago
g_number_string.mli
Rename the Pcoq module into Procq.
2y ago
number_string.ml
Remove Constr.eq_constr_nounivs.
1mo ago
number_string.mli
Split some primitive notation code from notation.ml
1y ago
