lean-dojo/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

LLM & foundation modelsPython MIT 122created 2023-06-13

Stars

852

1-day growth

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

#lean#lean4#llm#machine-learning#theorem-proving

Top contributors

Not collected yet (contributors job).

lean-dojo/LeanDojo · AI Repo Stats