PrototypeCommon
rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- Owner
- rocq-community (organization)
- Stars
- Stars: 117
- Forks
- Forks: 46
- Language
- Rocq Prover
- License
- GPL-2.0
- Created
- 2011
- Topics
- coq-libraryreal-numbercoqcoq-cicoq-platform
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- mit-plv/riscv-coqStars: 122Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 110Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype