Skip to content

ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof#73

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7
Jun 27, 2026
Merged

ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof#73
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7