PrototypeCommune
loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
- Propriétaire
- loganrjmurphy (compte personnel)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 20
- Langage
- Lean
- Licence
- MIT
- Création
- 2024
- Sujets
- lean4theorem-provingllm-evaluationformalizationeuclidean-geometryautoformalization
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
- kmill/lean4-raytracerÉtoiles : 147LeanPrototype
- Timeroot/Lean-QuantumInfoÉtoiles : 146LeanPrototype
- LeanPool/lean-poolÉtoiles : 144LeanPrototype
- ndrwnaguib/principiaÉtoiles : 143LeanPrototype
- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype