Skip to content

Lean verification specification: environment, statement-register table and 28 kernel-proved P15 arithmetic targets - #358

Draft
d6g8k5htny-coder wants to merge 12 commits into
mainfrom
claude/lean-verification-specification-20261010
Draft

Lean verification specification: environment, statement-register table and 28 kernel-proved P15 arithmetic targets#358
d6g8k5htny-coder wants to merge 12 commits into
mainfrom
claude/lean-verification-specification-20261010

Lean verification specification: apply dot's two documentary findings…

b7ec86c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar