**Profile:** [Kevin Buzzard](https://profiles.imperial.ac.uk/k.buzzard/) ![[Kevin Buzzard profile.png|792]] **`eBooks:`** [Formalising Mathematics Lean 3 - 2024](https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-mathematics-2024/index.html#), [[Formalizing Math Course - Xena - Buzzard]] **`Videos:`** [Formalising mathematics 2022 - YouTube](https://www.youtube.com/playlist?list=PLVZep5wTamMmRPvCLO4WVpCwkTi1F6OyF) --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date`**: 2026-08-18