LeanDojo

icon indicating a website link https://leandojo.org/

icon location United States of America icon location Machine Learning for Theorem Proving in Lean

Results 4 repositories owned by LeanDojo

LeanCopilot

957
Stars
83
Forks
Watchers

LLMs as Copilots for Theorem Proving in Lean

verified publisher icon lean-dojo

LeanDojo

458
Stars
66
Forks
Watchers

Tool for data extraction and interacting with Lean programmatically.

verified publisher icon lean-dojo

ReProver

176
Stars
33
Forks
Watchers

Retrieval-Augmented Theorem Provers for Lean

verified publisher icon lean-dojo

LeanDojoChatGPT

112
Stars
13
Forks
Watchers

ChatGPT plugin for theorem proving in Lean

verified publisher icon lean-dojo