jwiegley / category-theoryLinks

An axiom-free formalization of category theory in Coq for personal study and practical work
774Updated this week

Alternatives and similar repositories for category-theory

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

Sorting: