TOTBWF / cubical-categoriesLinks

Category theory formalized in cubical agda
20Updated 5 years ago

Alternatives and similar repositories for cubical-categories

Users that are interested in cubical-categories are comparing it to the libraries listed below

Sorting: