Skip to content

Replace fabricated ABI proofs with machine-checked Idris2 proofs#24

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/youthful-fermat-90bhhu
Jun 23, 2026
Merged

Replace fabricated ABI proofs with machine-checked Idris2 proofs#24
hyperpolymath merged 1 commit into
mainfrom
claude/youthful-fermat-90bhhu

error-lang: replace fabricated ABI "proofs" with machine-checked ones

450c32a
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia succeeded Jun 23, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.