GitHub repository
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
C++- Total stars
- 1.3K
- Today
- +0
- Last 7 days
- +3
- Last 30 days
- +13
Recorded star history
Snapshot: 2026-10-28. Counts recorded during the last 7 days, oldest first.
Oldest recordedLatest recorded