feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2) - #173

feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2)#173

hyperpolymath merged 1 commit into

mainhyperpolymath/verisimiser:mainfrom

claude/verisimiser-abi-proofshyperpolymath/verisimiser:claude/verisimiser-abi-proofsCopy head branch name to clipboard