lean-dojo / LeanCopilot

git clone https://github.com/lean-dojo/LeanCopilot.git

LLMs as Copilots for Theorem Proving in Lean

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

1.3k

★ total

129

forks · 0 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageC++

LicenseMIT

Created2023-09-09 (3y ago)

Last push7d ago

OwnerOrganization

GitHub topics

formal-mathematics lean lean4 llm llm-inference machine-learning theorem-proving

Links

GitHub: github.com/lean-dojo/LeanCopilot
Homepage: https://leandojo.org/leancopilot.html
Releases · Issues · Hacker News mentions