amintimany / CategoriesLinks
A formalization of category theory in the Coq proof assistant.
☆100Updated 11 months ago
Alternatives and similar repositories for Categories
Users that are interested in Categories are comparing it to the libraries listed below
Sorting: