Skip to content

tla(mc): use direct-product permutation group for TLC Symmetry (gemin…

f8d97b3
Select commit
Loading
Failed to load commit list.
Merged

tla: M5 — Composed.tla (Composed-1 + Composed-3) wired into tla-check #865

tla(mc): use direct-product permutation group for TLC Symmetry (gemin…
f8d97b3
Select commit
Loading
Failed to load commit list.