Skip to content

CNO: pc-driven machine, observable identity, real termination - #199

Merged
hyperpolymath merged 5 commits into
mainfrom
proofs/cno-pc-machine
Nov 10, 2026
Merged

CNO: pc-driven machine, observable identity, real termination#199
hyperpolymath merged 5 commits into
mainfrom
proofs/cno-pc-machine

test(agda): add regression tests for CNO execution, composition, and …

381cf58
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar