LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
lean-dojo/LeanCopilot
View on GitHub ↗LLMs as Copilots for Theorem Proving in Lean
LeanCopilot grew +1.0% in the last 30 days, ranks 121st of 496 in Local Runtime / Inference Engine, actively maintained, last commit 13 days ago.
Star trajectory
126 days tracked2026-06-211.3k stars today2026-10-26
Momentum
+1.0% in 30d, below the Local Runtime / Inference Engine median of +1.7%.
Maintenance
Last commit 13 days ago, staler than the median of 6d.
How it compares in Local Runtime / Inference Engine
LeanCopilot
1.3k
stars
+1.0% 30d
commit 13 days ago
Local Runtime / Inference Engine median
409.5
stars
+1.7% 30d
commit ~6d ago
Leader · ollama
184.8k
stars
+1.7% 30d
commit today
Ranked 121st of 496 by stars.
- Language
- C++
- License
- MIT License
- Contributors
- 14
- Forks
- 129
- Watchers
- 15
- Open issues
- 0
- Releases
- 51
- Created
- 2023-09-09
- Stars this week
- +3
You've seen where LeanCopilot stands today.
Get the moves before everyone else: the 5 Local Runtime / Inference Engine repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.