All projects

Repositories in this selection 1 · UTC 2026-11-04

This page · fastest this week—Insufficient history

7-day net stars—Observed growth coverage 0/1

Pushed in the last 14 days1 / 1

Commercial use

More filters

CompareRankProjectStarFork30-day trend7-day net changeLast pushSign in to save

1rocq-prover / rocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.OCamlLGPL-2.1 · Share derivative sourceInsufficient rank history5,655771——2026-11-02

License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.