People/lean-dojo
LeanDojo

LeanDojo

Organizationbuilder

Machine Learning for Theorem Proving in Lean

United States of America
github website
C++
1.3k★
stars on radar
+2
last 7 days
15
public repos
Open source on the radar · 2
lean-dojo/
LeanCopilot
▲ 4/wk

LLMs as Copilots for Theorem Proving in Lean

1.3k126C++✓ Reviewed
lean-dojo/
LeanDojo

Tool for data extraction and interacting with Lean programmatically.

826117Pythonquiet
Roles are derived from products, launches and repositories we track — not from self-description.