Popular repositories Loading

1. lean-training-data lean-training-data Public

   Lean 59 17

2. lean-category-theory lean-category-theory Public archive

   An experimental category theory library for Lean

   Lean 51 10

3. lean-zip lean-zip Public

   Lean 45 4

4. lean-tidy lean-tidy Public archive

   Lean 8 5

5. KnuthClaudeLean KnuthClaudeLean Public

   Lean 4 formalization of Knuth's 'Claude's Cycles' paper

   Lean 7

6. hott-2017 hott-2017 Public

   Homotopy type theory reading group at ANU, 2017

   TeX 6 2