Skip to content

ABI Layer 2: prove ISU short-program well-formedness — flagship Idris2 proof#41

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

ABI Layer 2: prove ISU short-program well-formedness — flagship Idris2 proof#41
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7

abi: prove ISU short-program well-formedness (Layer 2 Semantics)

3626c8b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar