LeanDojo

Machine Learning for Theorem Proving in Lean

United States of America

Pinned Repositories

LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++840 13 2272
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python464 16 4367
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language:Python100 6 513
LeanDojoWebsite
Code for LeanDojo's website
Language:JavaScript71
ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python180 8 1435

LeanDojo's Repositories

lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++840 13 2272
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python464 16 4367
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python180 8 1435
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language:Python100 6 513
lean-dojo/LeanDojoWebsite
Code for LeanDojo's website
Language:JavaScript71