soft3/zheng/rs/src/machine.md

machine

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…

Graph