search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
11 stars 4 forks source link

Model editor for discrete tabulator theories #78

Closed epatters closed 1 month ago

epatters commented 1 month ago

Extend the model editor in the frontend from models of discrete double theories to models of discrete tabulator theories (#77).