A formalization of category theory in the Coq proof assistant.
Catless Category Theory in Dotty/Scala 3 meow ~