Popular repositories Loading

1. HadwigerNelson HadwigerNelson Public

   Hadwiger-Nelson Problem Formalization in Lean 4

   Lean 8

2. Lean4trace Lean4trace Public

   Lean 1

3. ReProver ReProver Public

   Forked from lean-dojo/ReProver

   Retrieval-Augmented Theorem Provers for Lean

   Jupyter Notebook

4. miniF2F-lean4 miniF2F-lean4 Public

   Forked from rahul3613/miniF2F-lean4

   miniF2F dataset ported into Lean 4

   Lean

5. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python

6. fifteen_puzzle_solver fifteen_puzzle_solver Public

   Solver for 15-puzzle implemented in Wolfram Language

   Mathematica