Skip to content

proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil - #3249

Draft
kumavis wants to merge 6 commits into
claude/implement-ocapn-flush-iisn9from
claude/ocapn-flush-veil-proof
Draft

proof(ocapn): mechanize op:flush per-reference FIFO in Lean 4 + Veil#3249
kumavis wants to merge 6 commits into
claude/implement-ocapn-flush-iisn9from
claude/ocapn-flush-veil-proof

proof(ocapn): mechanize 4-party two-shortening FIFO and exercise non-…

7d229a7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar