Syllabus
MA4N1 Theorem Proving with Lean
Autumn 2025
Week 1 (Oct 06-10)
Monday
Overview of assessment.
Introduction to formalization and to Lean.
What we may be doing in the coming lectures:
tentative syllabus
Last modified: Friday, Sep 19 2025