ABI Layer 2: prove counter-node bound invariant + determinism — flagship Idris2 proof#38

hyperpolymath merged 1 commit into

mainhyperpolymath/lustreiser:mainfrom

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