Folder
Homonyms
soft3/zheng/specs/machine
the nox machine β one step relation for nox runs of any length `rs/src/machine/` (relation), `rs/src/air/` (protocol); proved alone as envelope profile 4 and inside the IVC of profiles 5 and 6 (recursion). Phase 3 of the proof-system repair (soft3 `proposals/proof-system-repair.md` Β§3, "unboundedβ¦