25 Repositories
rocq
5553
vsrocq
459
platform
242
equations
238
opam
172
rfcs
64
stdlib
40
ltac2
33
bot
30
platform-docs
26
coq.github.io
18
rocq-prover.org
15
docker-opam-action
15
repo-stable-disabled
9
rocq-platform-starter
5
coq-bench
4
repo-unstable-disabled
3
coq-on-cachix
3
roadmaps
2
repo-coqs-disabled
1
doc
1
deploy-rocq-prover.org
1
repo-8.5
0
prerequisites
0
opam-coq-shell
0