June 10 - 14, 2024
Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Website
Kevin Buzzard will be giving some lectures at HIM on the current state of the project to formalise Fermat's Last Theorem in Lean. The lectures will be suitable for master's students and above interested in formalisation and number theory. During the week he will suggest many formalisation topics to work on and guide the attendees through how to contribute to the project via individual or group work. Most of the time will be spent working on Lean projects. Anyone interested is welcome, including Lean beginners, although you would be better off if you've worked through some of the free online textbook "Mathematics in Lean".