Rocq Prover GitHub repos
47 Rocq Prover repos in the catalog, most starred first.
- AbsInt/CompCertStars: 2,266Rocq ProverRC
- gustavo-depaula/stalin-sortStars: 1,712Rocq ProverBeta
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- formal-land/rocq-of-rustStars: 1,192Rocq ProverBeta
- UniMath/UniMathStars: 1,022Rocq ProverBeta
- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- magmide/magmideStars: 841Rocq ProverBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- achlipala/frapStars: 737Rocq ProverBeta
- math-comp/math-compStars: 707Rocq ProverBeta
- uwplse/verdiStars: 627Rocq ProverAlpha
- MetaRocq/metarocqStars: 567Rocq ProverAlpha
- PrincetonUniversity/VSTStars: 515Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- stepchowfun/proofsStars: 316Rocq ProverAlpha
- QuickChick/QuickChickStars: 296Rocq ProverAlpha
- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- math-comp/analysisStars: 246Rocq ProverPrototype
- rocq-prover/equationsStars: 238Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype
- plclub/sf-in-leanStars: 199Rocq ProverPrototype
- mit-plv/koikaStars: 191Rocq ProverPrototype
- theorem-labs/oss-verify-proofsStars: 189Rocq ProverPrototype
- CertiRocq/certirocqStars: 183Rocq ProverPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype