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.

Select a check to view from the sidebar