Dépôts Rocq Prover, page 2
47 dépôts Rocq Prover au catalogue, du plus étoilé au moins étoilé.
- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityÉtoiles : 145Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- neelsomani/vericudaÉtoiles : 134Rocq ProverPrototype
- AU-COBRA/ConCertÉtoiles : 129Rocq ProverPrototype
- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleÉtoiles : 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 123Rocq ProverPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
- rocq-community/cornÉtoiles : 117Rocq ProverPrototype
- SkyLabsAI/BRiCkÉtoiles : 111Rocq ProverPrototype
- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype
- math-comp/hierarchy-builderÉtoiles : 104Rocq ProverPrototype
- ymherklotz/vericertÉtoiles : 101Rocq ProverPrototype
- jwiegley/coq-pipesÉtoiles : 100Rocq ProverPrototype