An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
47,133 repositories indexed
1–1 of 1 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work