jasonmorton / Cateno

A system for computational category theory and applications
35Updated 8 years ago

Related projects

Alternatives and complementary repositories for Cateno