neevor/category-theory
A formalization of category theory in Coq for personal study and practical work
Coq
No issues in this repository yet.
A formalization of category theory in Coq for personal study and practical work
Coq
No issues in this repository yet.