GitHub repository: jwiegley/category-theory
Primary language: Coq
Description: An axiom-free formalization of category theory in Coq for personal study and practical work