rocq-prover/rocq-prover.org - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

rocq-prover

Fetched on 2026/03/01 21:41

rocq-prover / rocq-prover.org

The Rocq Prover Website - View it on GitHub

https://rocq-prover.org

Star

12

Rank

1360414

Released by @k0kubun in December 2014. Fork me on GitHub.