Popular repositories Loading

1. topcat-model-category topcat-model-category Public

   Lean 8 2

2. homotopical_algebra homotopical_algebra Public

   Lean 3

3. k-injective k-injective Public

   Lean 1

4. lean-derived-categories lean-derived-categories Public

   Formalization of derived categories in Lean/mathlib

   Lean 1

5. reedy reedy Public

   Formalization of Reedy categories

   Lean 1 1

6. joelriou joelriou Public

   Config files for my GitHub profile.