Popular repositories Loading

1. Iwasawa_algebra Iwasawa_algebra Public

   Follow GTM083 7.1 to get started in Iwasawa Theory

   Lean 3

2. EG EG Public

   Forked from jjdishere/EG

   Formalizing Euclidean Geometry in Lean

   Lean 1

3. alphageometry alphageometry Public

   Forked from google-deepmind/alphageometry

   Python

4. mathlib4_fork mathlib4_fork Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. ClassFieldTheory_fork ClassFieldTheory_fork Public

   Forked from kbuzzard/ClassFieldTheory

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

   Lean