AlphaUncommon
ccz181078/Coq-BB5
No description.
- Owner
- ccz181078 (personal account)
- Stars
- Stars: 377
- Forks
- Forks: 13
- Language
- Rocq Prover
- License
- None
- Created
- 2024
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- PrincetonUniversity/VSTStars: 516Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- stepchowfun/proofsStars: 316Rocq ProverAlpha
- QuickChick/QuickChickStars: 297Rocq ProverAlpha