kan-extensions topic
List
kan-extensions repositories
Categories
92
Stars
4
Forks
Watchers
A formalization of category theory in the Coq proof assistant.
meow
43
Stars
4
Forks
Watchers
Catless Category Theory in Dotty/Scala 3 meow ~