Popular repositories Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

2. ClassFieldTheory ClassFieldTheory Public

   Forked from kbuzzard/ClassFieldTheory

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

   Lean

3. analysis analysis Public

   Forked from teorth/analysis

   A Lean companion to Analysis I

   Lean