Popular repositories Loading

1. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

3. batteries batteries Public

   Forked from leanprover-community/batteries

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean

4. combinatorial-games combinatorial-games Public

   Forked from vihdzp/combinatorial-games

   Combinatorial game library in Lean 4

   Lean

5. ClassFieldTheory ClassFieldTheory Public

   Forked from kbuzzard/ClassFieldTheory

   Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory

   Lean

6. Poly Poly Public

   Forked from sinhp/Poly

   A Lean4 Formalization of Polynomial Functors

   Lean