Skip to content

Cap first exit in Lean v1.5: L7, L8, L11's chain rule and L18 kernel-checked from slice strong concavity - #253

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

Cap first exit in Lean v1.5: L7, L8, L11's chain rule and L18 kernel-checked from slice strong concavity#253
d6g8k5htny-coder merged 6 commits into
mainfrom
claude/cap-first-exit-lean-v15-20261003

Merge branch main into cap-first-exit Lean v1.5

e6872b0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar