ToposInstitute / CatColab

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

Models of discrete tabulator theories in core #100

Open epatters opened 1 month ago

epatters commented 1 month ago

With #78, we have basic support for editing models of discrete tabulator theories in the frontend. However, such models are not yet implemented in the core.

At this point the main benefit to doing so is providing proper validation of such models. To be useful, this should be coupled with frontend work to display those errors more informatively than we do right now.