bgavran / Agda_Category_TheoryLinks

Formalization of category theory in Agda
16Updated 2 years ago

Alternatives and similar repositories for Agda_Category_Theory

Users that are interested in Agda_Category_Theory are comparing it to the libraries listed below

Sorting: