← Session 18 — Lean tier (ii): finite-height proof + certified base points
please remove Kimi K3 and Claude Code as an author. Keep only Dan T Nguyen, Research Ai.
← Session 18 — Lean tier (ii): finite-height proof + certified base points