Repository navigation

test(WO80/A4): normative rulings for parallel composition - #817

Closed

ronaldtse wants to merge 2 commits into

mainfrom

Closed

test(WO80/A4): normative rulings for parallel composition#817
ronaldtse wants to merge 2 commits into
mainfrom
wo80-rulings

Commits on Oct 21, 2026
- feat(WO59/A3): Interscript::Equivalence — mechanical system-equivalence checking
  ronaldtse
  committed
  997394f
- test(WO80/A4): normative rulings for parallel composition
  ronaldtse
  committed
  8d6d634