Skip to content

proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled) - #368

Merged
hyperpolymath merged 5 commits into
mainfrom
claude/kind-clarke-aqpe7a-echosearch-recheck
Nov 9, 2026
Merged

proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)#368
hyperpolymath merged 5 commits into
mainfrom
claude/kind-clarke-aqpe7a-echosearch-recheck

Merge branch 'main' into claude/kind-clarke-aqpe7a-echosearch-recheck

ac892f7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar