Morphism search for free models of discrete double theories

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling

https://catcolab.org

MIT License

11 stars 4 forks source link

Closed epatters closed 3 weeks ago

epatters commented 1 month ago

In the core only. Frontend support will come later.

github-actions[bot] commented 1 month ago