AlphaUncommon
MetaRocq/metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- Owner
- MetaRocq (organization)
- Stars
- Stars: 568
- Forks
- Forks: 101
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- coqmetaprogrammingcoq-formalizationrocq
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- achlipala/frapStars: 737Rocq ProverBeta
- math-comp/math-compStars: 707Rocq ProverBeta
- uwplse/verdiStars: 627Rocq ProverAlpha
- PrincetonUniversity/VSTStars: 516Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha