Skip to content

ABI Layer 2: prove Kleene ternary-logic soundness — flagship Idris2 proof#39

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

ABI Layer 2: prove Kleene ternary-logic soundness — flagship Idris2 proof#39
hyperpolymath merged 1 commit into
mainfrom
claude/new-session-znxgm7

abi: prove Kleene ternary-logic soundness (Layer 2 Semantics)

9e09641
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar