feat(Foundations/Automata): add Machine closed symmetric monoidal category#478
Open
matthunz wants to merge 5 commits into
Open
feat(Foundations/Automata): add Machine closed symmetric monoidal category#478matthunz wants to merge 5 commits into
Machine closed symmetric monoidal category#478matthunz wants to merge 5 commits into
Commits
Commits on Apr 8, 2026
- committed
- committed
- committed
