Rocq Prover GitHub repos, page 2
47 Rocq Prover repos in the catalog, most starred first.
- mit-plv/fiatStars: 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityStars: 145Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- neelsomani/vericudaStars: 134Rocq ProverPrototype
- AU-COBRA/ConCertStars: 129Rocq ProverPrototype
- uds-psl/MPCTTStars: 129Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleStars: 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 111Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype