Current task: —

← Session 17 — Lean tier (i): elementary proofs (after crash)

#706 user 2026-08-20 08:27:33.642 UTC open ⤢
Make a note to read this 'session-012-notes.txt' before we start Session 012 when we come back. Don't start yet.