An axiom-free formalization of category theory in Coq for personal study and practical work
This is the first formal release of category-theory, submitted to Opam.