April 24, 2026 Book of Proof Notes Bridge from computation to proof. Sets, logic, induction, functions.