This website is dedicated to the Lean learning seminar at the University of Amsterdam during the fall of 2024. Roughly we will be following these lecture notes of Kevin Buzzard:

Formalising Mathematics.

Please see the section Installing Lean, for information on installing Lean4 on your machine. It will also be helpful to download and install the course repository, for this you will need to install git on your computer.

Logistics:

We will meet every Monday from 3 - 5 pm in room F3.20 in the KdVI building. If you have futher questions please don’t hesitate to contact me at: d.v.aranha at uva.nl.