Skip to content

formal(P0): mechanize the OCAP two-stream sequencing against the frozen algebra#239

Merged
hartsock merged 1 commit into
mainfrom
formal/two-stream-sequencing-proof
Jul 17, 2026
Merged

formal(P0): mechanize the OCAP two-stream sequencing against the frozen algebra#239
hartsock merged 1 commit into
mainfrom
formal/two-stream-sequencing-proof

formal(P0): mechanize the OCAP two-stream sequencing against the froz…

27a22f5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar