← Session 18 — Lean tier (ii): finite-height proof + certified base points
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.
← Session 18 — Lean tier (ii): finite-height proof + certified base points