Skip to content

Cap first exit in Lean v1.9 (stacked on #258): L6, L9 and L12 kernel-checked; hconv derived from C^3 data - #259

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

Cap first exit in Lean v1.9 (stacked on #258): L6, L9 and L12 kernel-checked; hconv derived from C^3 data#259
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/cap-first-exit-lean-v19-20261003

Merge main 44314f0 (#258 landed) into cap-first-exit-lean v1.9

932127d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar