Popular repositories Loading

1. lean-training-data lean-training-dataPublic

   Lean 53 14

2. lean-category-theory lean-category-theoryPublic archive

   An experimental category theory library for Lean

   Lean 51 9

3. lean-tidy lean-tidyPublic archive

   Lean 8 5

4. lean-monoidal-categories lean-monoidal-categoriesPublic archive

   Lean 6 2

5. hott-2017 hott-2017Public

   Homotopy type theory reading group at ANU, 2017

   TeX 5 2

6. lean-sage lean-sagePublic

   Lean 5