Skip to content

Cap first exit in Lean v2.5: the cap under CAP (1) with its partial-block norms - #285

Merged
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v25-20261005
Oct 5, 2026
Merged

Cap first exit in Lean v2.5: the cap under CAP (1) with its partial-block norms#285
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v25-20261005

Merge branch 'main' into claude/cap-first-exit-lean-v25-20261005

6383e2e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar