Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
rocq-prover
Star
6418
Rank
2634
Go to GitHub
Fetched on 2026/03/01 21:41
22 Repositories
rocq
5365
vsrocq
438
platform
227
opam
162
rfcs
60
ltac2
33
stdlib
32
bot
26
platform-docs
23
coq.github.io
18
rocq-prover.org
12
repo-stable-disabled
9
coq-bench
4
repo-unstable-disabled
3
coq-on-cachix
3
roadmaps
2
repo-coqs-disabled
1
repo-8.5
0
prerequisites
0
opam-coq-shell
0
doc
0
deploy-rocq-prover.org
0