2 results found Sort:

amintimany
Categories amintimany
4
94
unknown
6
A formalization of category theory in the Coq proof assistant.
coq topos library categories adjunctions kan-extensions category-theory proof-assistant coq-formalization
Created 2015-10-14
160 commits to master branch, last one 4 years ago
jcouyang
meow jcouyang
4
44
apache-2.0
4
Catless Category Theory in Dotty/Scala 3 meow ~
dotty scala kan-extensions category-theory
Created 2020-03-28
64 commits to master branch, last one about a year ago