Skip to content

Cap first exit in Lean v2.0 (stacked on #259): f_xxx >= 7/4 from L2 and (H2); the cap from SP's hypotheses - #260

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

Cap first exit in Lean v2.0 (stacked on #259): f_xxx >= 7/4 from L2 and (H2); the cap from SP's hypotheses#260
d6g8k5htny-coder merged 5 commits into
mainfrom
claude/cap-first-exit-lean-v20-20261003

Commits

  1. Commits on Oct 3, 2026

  2. Commits on Oct 4, 2026