Pinned Loading

1. LeanDojo LeanDojo Public

   Tool for data extraction and interacting with Lean programmatically.

   Python 710 115

2. ReProver ReProver Public

   Retrieval-Augmented Theorem Provers for Lean

   Python 298 66

3. LeanCopilot LeanCopilot Public

   LLMs as Copilots for Theorem Proving in Lean

   C++ 1.2k 114