ABI Layer 2: prove bounded array access (Fin-indexed, total) — flagship Idris2 proof#42

hyperpolymath merged 1 commit into

mainhyperpolymath/idrisiser:mainfrom

claude/new-session-znxgm7hyperpolymath/idrisiser:claude/new-session-znxgm7Copy head branch name to clipboard