lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

LLM & foundation modelsC++ MIT 128created 2023-09-09

Stars

1,345

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

The chart appears after at least 2 days of data.

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

Top contributors

Not collected yet (contributors job).

lean-dojo/LeanCopilot · AI Repo Stats