gmalecha/category-theory

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

Coq