Skip to content

Equational proof kernel, loon prove, Div effect, and the self-verification ladder (rungs 0-3) - #97

Merged
ecto merged 4 commits into
mainfrom
claude/formal-verification-loon-123311
Oct 28, 2026
Merged

Equational proof kernel, loon prove, Div effect, and the self-verification ladder (rungs 0-3)#97
ecto merged 4 commits into
mainfrom
claude/formal-verification-loon-123311

feat(verify): rung 3 — match soundness and the evaluator model

bf75442
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar