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

hyperpolymath merged 1 commit into

mainhyperpolymath/error-lang:mainfrom

claude/youthful-fermat-90bhhuhyperpolymath/error-lang:claude/youthful-fermat-90bhhuCopy head branch name to clipboard