Tool for data extraction and interacting with Lean programmatically.
Python 478 72
Retrieval-Augmented Theorem Provers for Lean
Python 189 39
LLMs as Copilots for Theorem Proving in Lean
C++ 858 76
Code for LeanDojo's website
ChatGPT plugin for theorem proving in Lean
Loading…