This repository is not active
grehce/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
CoqBSD-3-Clause
An axiom-free formalization of category theory in Coq for personal study and practical work
CoqBSD-3-Clause
This repository is not active