sto0pkid / CategoryTheoryLinks

Category Theory in Agda
13Updated 7 years ago

Alternatives and similar repositories for CategoryTheory

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

Sorting: