Data structure for morphisms between 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 1 month ago

epatters commented 1 month ago

Just the data structure for now; algorithms will come later.

github-actions[bot] commented 1 month ago