Skip to content

Cap first exit in Lean v1.8 (stacked on #257): L3-L4 on a collar of D and the composed source route - #258

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

Cap first exit in Lean v1.8 (stacked on #257): L3-L4 on a collar of D and the composed source route#258
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v18-20261003

Merge main 3e0ecef (#257 landed) into cap-first-exit-lean v1.8

6c1ef35
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar