search

ToposInstitute / CatColab

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

Wasm bindings for finding positive/negative loops #121

Closed epatters closed 3 weeks ago

epatters commented 3 weeks ago

Progress toward #113. The wasm bindings for theories are also refactored for better separation of concerns.

github-actions[bot] commented 3 weeks ago

Preview url: https://66c7cd2cbd7394d3f9e20d41--catcolab.netlify.app