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
/
perf
4 files
at
master
Gaëtan Gilbert
·
Remove compat coq-core libraries (not executables)
·
5mo ago
ba476414
dune
Remove compat coq-core libraries (not executables)
5mo ago
perf.c
Update the remaining headers to reflect the fact Coq is now Rocq.
2y ago
perf.ml
Update the OCaml headers to reflect the fact Coq is now Rocq.
2y ago
perf.mli
Update the OCaml headers to reflect the fact Coq is now Rocq.
2y ago
