gitlab.com topics: category-theory
ixaxaar/monoid.space
Learn abstract math with agda 🚀
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
lysxia/kittens
Category theory library in Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
Related Keywords