PrototypeCommon
CertiRocq/certirocq
A Verified Compiler for Gallina, Written in Gallina
- Owner
- CertiRocq (organization)
- Stars
- Stars: 183
- Forks
- Forks: 45
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- coqgallinacompilerformal-verificationrocq-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- plclub/sf-in-leanStars: 200Rocq ProverPrototype
- theorem-labs/oss-verify-proofsStars: 194Rocq ProverPrototype
- mit-plv/koikaStars: 191Rocq ProverPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype