PrototypeCommune
zhangir-azerbayev/ProofNet
Benchmark for undergraduate-level formal mathematics
- Propriétaire
- zhangir-azerbayev (compte personnel)
- Étoiles
- Étoiles : 127
- Forks
- Forks : 15
- Langage
- Lean
- Licence
- MIT
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- frenzymath/jixiaÉtoiles : 131LeanPrototype
- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
- oftenjames/romulusÉtoiles : 124LeanPrototype