Skip to content

Cap first exit in Lean v1.7 (stacked on #255): L7 kernel-checked, existence, uniqueness and implicit-function regularity of the ridge - #257

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

Cap first exit in Lean v1.7 (stacked on #255): L7 kernel-checked, existence, uniqueness and implicit-function regularity of the ridge#257
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/cap-first-exit-lean-v17-20261003

Merge main 57ede4e (#255 landed) into cap-first-exit-lean v1.7

f001e13
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar