LE
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
1.3k 123 +0/wk
GitHub
formal-mathematics lean lean4 llm llm-inference machine-learning theorem-proving
Trend
0
Star & Fork Trend (18 data points)
Stars
Forks
Multi-Source Signals
Growth Velocity
lean-dojo/LeanCopilot has +0 stars this period . Velocity data will be available after more historical data is collected.
Deep analysis is being generated for this repository.
Signal-backed technical analysis will be available soon.
| Metric | LeanCopilot | Efficient-LLMs-Survey | Learning-Deep-Learning | voca |
|---|---|---|---|---|
| Stars | 1.3k | 1.3k | 1.3k | 1.3k |
| Forks | 123 | 98 | 181 | 277 |
| Weekly Growth | +0 | +1 | +0 | +0 |
| Language | C++ | N/A | Jupyter Notebook | Python |
| Sources | 1 | 1 | 1 | 1 |
| License | MIT | N/A | N/A | N/A |
Capability Radar vs Efficient-LLMs-Survey
LeanCopilot
Efficient-LLMs-Survey
Maintenance Activity 75
Last code push 51 days ago.
Community Engagement 49
Fork-to-star ratio: 9.8%. Lower fork ratio may indicate passive usage.
Issue Burden 70
Issue data not yet available.
Growth Momentum 30
No measurable growth in the current period (first-day cold start expected).
License Clarity 95
Licensed under MIT. Permissive — safe for commercial use.
Risk scores are computed from real-time repository data. Higher scores indicate healthier metrics.