fredefox / catLinks

A formalization of category theory in cubical Agda
60Updated 5 years ago

Alternatives and similar repositories for cat

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

Sorting: