• Mathematical Methods for Physics [pdf] https://www.ma.imperial.ac.uk/~dturaev/Mathematical_Methods2021.pdf 42 comments 22/3/2025

• The Natural Number Game - interactive Lean tutorial https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ 3 comments 28/7/2022 compsci , formalmethods , math

• The rise of formalism in mathematics - Kevin Buzzard - ICM 2022 - Special Plenary Lecture (Slides - PDF) https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/BuzzardICM2022talk.pdf 51 comments 9/7/2022 math