Popular repositories Loading

1. LeanCopilot LeanCopilot Public

   Forked from lean-dojo/LeanCopilot

   LLMs as Copilots for Theorem Proving in Lean

   C++

2. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python

3. ReProver ReProver Public

   Forked from lean-dojo/ReProver

   Retrieval-Augmented Theorem Provers for Lean

   Python

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean