/category-theory

A formalization of category theory in Coq for personal study and practical work

Primary LanguageCoq

No issues in this repository yet.