Skip to content

Cap first exit in Lean v2.6: the cap and the elder death level on the torus - #295

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

Cap first exit in Lean v2.6: the cap and the elder death level on the torus#295
d6g8k5htny-coder merged 3 commits into
mainfrom
claude/cap-first-exit-lean-v26-20261005

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

9453c32
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar