Skip to content

Cap first exit in Lean v1.9 (stacked on #258): L6, L9 and L12 kernel-checked; hconv derived from C^3 data - #259

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

Cap first exit in Lean v1.9 (stacked on #258): L6, L9 and L12 kernel-checked; hconv derived from C^3 data#259
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/cap-first-exit-lean-v19-20261003

Commits

  1. Commits on Oct 3, 2026

  2. Commits on Oct 4, 2026