AlphaPeu commune
MetaRocq/metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- Propriétaire
- MetaRocq (organisation)
- Étoiles
- Étoiles : 567
- Forks
- Forks : 101
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2017
- Sujets
- coqmetaprogrammingcoq-formalizationrocq
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- achlipala/frapÉtoiles : 737Rocq ProverBêta
- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- PrincetonUniversity/VSTÉtoiles : 515Rocq ProverAlpha
- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha