Categories
A formalization of category theory in the Coq proof assistant.
92 stars
6 watching
4 forks
Language: Coq
last commit: almost 4 years ago adjunctionscategoriescategory-theorycoqcoq-formalizationkan-extensionslibraryproof-assistanttopos