BetaRare
achlipala/frap
Formal Reasoning About Programs
- Owner
- achlipala (personal account)
- Stars
- Stars: 737
- Forks
- Forks: 96
- Language
- Rocq Prover
- License
- None
- Created
- 2016
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- magmide/magmideStars: 841Rocq ProverBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- math-comp/math-compStars: 707Rocq ProverBeta
- uwplse/verdiStars: 627Rocq ProverAlpha
- MetaRocq/metarocqStars: 568Rocq ProverAlpha