Teaching (Past Courses)
2025-26 Term 1
- MA4N1 Theorem Proving with Lean, course material on GitHub
2024-25 Term 1
-
MA4N1 Theorem Proving with Lean, course material on GitHub
-
MA3H5 Manifolds and the corresponding lecture notes
2023-24 Term 1
-
MA4N1 Theorem Proving with Lean, course material on GitHub
-
MA3H5 Manifolds and the corresponding lecture notes
2022-23 Term 1
-
MA3J9 Historical Challenges in Mathematics, Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
-
MA3H5 Manifolds and the corresponding lecture notes
2021-22, Term 2
-
MA3J9 Historical Challenges in Mathematics, Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
2020-21, Term 2
-
MA3J9 Historical Challenges in Mathematics, Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
-
A draft book (joint with Martin Bright and Ronald van Luijk) is available here. Feedback is welcome!
2019-20, Term 2
-
MA3J9 Historical Challenges in Mathematics, Lecture Notes: Hilbert’s 3rd, 17th, 10th problem