Current task: —

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

#755 user 2026-08-20 18:49:23.157 UTC open ⤢
Please read the 'session-012-end-notes.txt' a comment from a mathematician. Whatever good advise you get out of it, use it. Else let me know what we need to do next.