Skip to content

proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI - #195

Merged
hyperpolymath merged 11 commits into
mainfrom
claude/clever-heisenberg-q9qp32
Nov 10, 2026
Merged

proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI#195
hyperpolymath merged 11 commits into
mainfrom
claude/clever-heisenberg-q9qp32

docs(proof-status): correct the Lambdapi export failure

797276d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar