Popular repositories Loading

1. HadwigerNelson HadwigerNelson Public

   Hadwiger-Nelson Problem Formalization in Lean 4

   Lean 8

2. Lean4trace Lean4trace Public

   Lean 1

3. mathlib4_expanded mathlib4_expanded Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. ReProver ReProver Public

   Forked from lean-dojo/ReProver

   Retrieval-Augmented Theorem Provers for Lean

   Jupyter Notebook

5. miniF2F-lean4 miniF2F-lean4 Public

   Forked from rahul3613/miniF2F-lean4

   miniF2F dataset ported into Lean 4

   Lean

6. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python