kim-em / lean-category-theoryLinks

An experimental category theory library for Lean
51Updated last year

Alternatives and similar repositories for lean-category-theory

Users that are interested in lean-category-theory are comparing it to the libraries listed below

Sorting: