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