PrototypeCommon
zhangir-azerbayev/ProofNet
Benchmark for undergraduate-level formal mathematics
- Owner
- zhangir-azerbayev (personal account)
- Stars
- Stars: 127
- Forks
- Forks: 15
- Language
- Lean
- License
- MIT
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/lean-perfectoid-spacesStars: 133LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- leanprover/lean4-cliStars: 125LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
- blanchette/logical_verification_2023Stars: 122LeanPrototype