← Session 17 — Lean tier (i): elementary proofs (after crash)
Make a note to read this 'session-012-notes.txt' before we start Session 012 when we come back. Don't start yet.
← Session 17 — Lean tier (i): elementary proofs (after crash)