Dépôts Rocq Prover
47 dépôts Rocq Prover au catalogue, du plus étoilé au moins étoilé.
- AbsInt/CompCertÉtoiles : 2 264Rocq ProverRC
- gustavo-depaula/stalin-sortÉtoiles : 1 712Rocq ProverBêta
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- formal-land/rocq-of-rustÉtoiles : 1 191Rocq ProverBêta
- UniMath/UniMathÉtoiles : 1 021Rocq ProverBêta
- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- magmide/magmideÉtoiles : 841Rocq ProverBêta
- jwiegley/category-theoryÉtoiles : 819Rocq ProverBêta
- achlipala/frapÉtoiles : 737Rocq ProverBêta
- math-comp/math-compÉtoiles : 706Rocq ProverBêta
- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- MetaRocq/metarocqÉtoiles : 565Rocq ProverAlpha
- PrincetonUniversity/VSTÉtoiles : 515Rocq ProverAlpha
- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha
- ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha
- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
- stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha
- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- math-comp/analysisÉtoiles : 246Rocq ProverPrototype
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- plclub/sf-in-leanÉtoiles : 198Rocq ProverPrototype
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
- theorem-labs/oss-verify-proofsÉtoiles : 187Rocq ProverPrototype
- CertiRocq/certirocqÉtoiles : 183Rocq ProverPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype