← Session 18 — Lean tier (ii): finite-height proof + certified base points
provide me detail information on how to submit this paper and what do i need to submit this paper.
← Session 18 — Lean tier (ii): finite-height proof + certified base points