Popular repositories Loading

1. lean-category-theory lean-category-theory Public archive

   An experimental category theory library for Lean

   Lean 49 9

2. lean-training-data lean-training-data Public

   Lean 40 11

3. lean-tidy lean-tidy Public archive

   Lean 7 5

4. lean-monoidal-categories lean-monoidal-categories Public archive

   Lean 5 2

5. category-theory-2017 category-theory-2017 Public

   TeX 4 1

6. hott-2017 hott-2017 Public

   Homotopy type theory reading group at ANU, 2017

   TeX 3 2