kim-em / lean-category-theory

An experimental category theory library for Lean
47Updated last year

Related projects

Alternatives and complementary repositories for lean-category-theory