Syllabus
MA4N1 Theorem Proving with Lean
Autumn 2024
Week 1 (Sep 30-Oct 04)
Monday
What we may be doing in the coming lectures:
tentative syllabus
Last modified: Sunday, Sep 22 2024