Popular repositories Loading

1. quasicategory quasicategory Public

   Formalizing quasi-categories in Lean

   Lean 3

2. infinity-cosmos infinity-cosmos Public

   Forked from emilyriehl/infinity-cosmos

   A blueprint for a formalization of infinity-cosmos theory in Lean.

   Lean

3. topcat-model-category topcat-model-category Public

   Forked from joelriou/topcat-model-category

   Lean

4. ClassFieldTheory ClassFieldTheory Public

   Forked from kbuzzard/ClassFieldTheory

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

   TeX

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean