chore(Semantics/LTS/Bisimulation): golf and simplify#613
Open
thomaskwaring wants to merge 10 commits into
Open
chore(Semantics/LTS/Bisimulation): golf and simplify#613thomaskwaring wants to merge 10 commits into
thomaskwaring wants to merge 10 commits into
Commits
Commits on Jun 3, 2026
- committed
twwar - committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
- committedtwwar
Commits on Jun 7, 2026
- committedtwwar