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
/
ring
7 files
at
master
Pierre-Marie Pédrot
·
Use the now correct set and maps Names APIs.
·
1mo ago
3c7ab90b
dune
Remove compat coq-core libraries (not executables)
5mo ago
g_ring.mlg
Pass printing flags functionally in constr printers
11mo ago
g_ring.mli
Rename the Pcoq module into Procq.
2y ago
ring_ast.ml
Update the OCaml headers to reflect the fact Coq is now Rocq.
2y ago
ring_ast.mli
Update the OCaml headers to reflect the fact Coq is now Rocq.
2y ago
ring.ml
Use the now correct set and maps Names APIs.
1mo ago
ring.mli
wit_tactic top type is tacvalue
7mo ago
