Skip to content

Cap first exit in Lean v1.6 (stacked on #253): L3-L4 kernel-checked, the cap from SP's hypothesis (H1) - #255

Merged
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v16-20261003
Oct 4, 2026
Merged

Cap first exit in Lean v1.6 (stacked on #253): L3-L4 kernel-checked, the cap from SP's hypothesis (H1)#255
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v16-20261003

Merge main 2820fc2 (#253 landed) into cap-first-exit-lean v1.6

b21ab2f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar