LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
loganrjmurphy/LeanEuclid
View on GitHub ↗LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
LeanEuclid grew +1.4% in the last 30 days, ranks 115th of 147 in Dataset Engineering, actively maintained, last commit 11 days ago.
Star trajectory
115 days tracked2026-07-02145 stars today2026-10-25
Momentum
+1.4% in 30d, above the Dataset Engineering median of +0.0%.
Maintenance
Last commit 11 days ago, fresher than the median of 312d.
How it compares in Dataset Engineering
LeanEuclid
145
stars
+1.4% 30d
commit 11 days ago
Dataset Engineering median
273
stars
+0.0% 30d
commit ~312d ago
Leader · olmocr
19.8k
stars
+0.7% 30d
commit 213 days ago
Ranked 115th of 147 by stars.
JJLibra/CC-Pan156-11weizhepei/InstructRAG152-7
loganrjmurphy/LeanEuclid145
CyberAgentAILab/RALF143+2IAmAaronYang/saluteface-public137+8- Language
- Lean
- License
- MIT License
- Contributors
- 5
- Forks
- 20
- Watchers
- 6
- Open issues
- 2
- Releases
- 0
- Created
- 2024-05-27
- Stars this week
- +1
You've seen where LeanEuclid stands today.
Get the moves before everyone else: the 5 Dataset Engineering repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.