adjunctions topic
List
adjunctions repositories
Categories
92
Stars
4
Forks
Watchers
A formalization of category theory in the Coq proof assistant.
