LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean-dojo/LeanDojo
View on GitHub ↗Tool for data extraction and interacting with Lean programmatically.
LeanDojo grew +1.6% in the last 30 days, ranks 80th of 442 in Research & Deep Research, last commit 279 days ago.
Star trajectory
79 days tracked2026-08-07850 stars today2026-10-25
Momentum
+1.6% in 30d, above the Research & Deep Research median of +0.7%.
Maintenance
Last commit 279 days ago, staler than the median of 40d.
How it compares in Research & Deep Research
LeanDojo
850
stars
+1.6% 30d
commit 279 days ago
Research & Deep Research median
272.5
stars
+0.7% 30d
commit ~40d ago
Leader · autoresearch
98.5k
stars
+1.9% 30d
commit 213 days ago
Ranked 80th of 442 by stars.
- Language
- Python
- License
- MIT License
- Contributors
- 22
- Forks
- 122
- Watchers
- 14
- Open issues
- 6
- Releases
- 35
- Created
- 2023-06-13
- Stars this week
- +4
You've seen where LeanDojo stands today.
Get the moves before everyone else: the 5 Research & Deep Research repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.