ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idris2 proof#43

hyperpolymath merged 1 commit into

mainhyperpolymath/alloyiser:mainfrom

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