PrototypeCommune
rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 117
- Forks
- Forks : 46
- Langage
- Rocq Prover
- Licence
- GPL-2.0
- Création
- 2011
- Sujets
- coq-libraryreal-numbercoqcoq-cicoq-platform
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de rocq-community
Les 9 dépôts de rocq-community- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- rocq-community/awesome-coqÉtoiles : 397Alpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 122Rocq ProverPrototype
- SkyLabsAI/BRiCkÉtoiles : 110Rocq ProverPrototype
- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype