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