BêtaRare
achlipala/frap
Formal Reasoning About Programs
- Propriétaire
- achlipala (compte personnel)
- Étoiles
- Étoiles : 737
- Forks
- Forks : 96
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2016
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- magmide/magmideÉtoiles : 841Rocq ProverBêta
- jwiegley/category-theoryÉtoiles : 819Rocq ProverBêta
- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- uwplse/verdiÉtoiles : 627Rocq ProverAlpha
- MetaRocq/metarocqÉtoiles : 567Rocq ProverAlpha