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. ctg ctg Public

   Category theory game

   Shell

5. ClassFieldTheory ClassFieldTheory Public

   Forked from kbuzzard/ClassFieldTheory

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

   TeX

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean