Current task: —

← Session 18 — Lean tier (ii): finite-height proof + certified base points

#830 user 2026-08-20 22:33:18.525 UTC open ⤢
so what do we have to do with Paper B, do we need to go back and do more experience to make it more concrete.