Notes on discrete models

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

Some preliminary notes on discrete models of double theories.

github-actions[bot] commented 1 month ago