London Learning Lean

general mathematics number theory

Imperial College London

Audience: Advanced learners
Seminar series time: Thursday 16:00-17:00 in your time zone, UTC
Organizer: Kevin Buzzard*
*contact for this listing

This is a seminar on formalising research level, MSc, or advanced undergraduate level mathematics in the Lean theorem prover. It is suitable for people who have some mathematical background, e.g. MSc students in a mathematics department. Speakers will assume some familiarity with the Lean but you certainly don't have to be a Lean expert

Speakers are told to spend 50 percent of their time explaining the mathematics, and 50 percent on the Lean implementation.

Past seminars are available on the YouTube playlist here

The seminar series is hybrid/online -- sometimes will meet in person at Imperial College in room Huxley 410, and always it will be live streamed on Zoom.

Upcoming talks
Past talks
Your timeSpeakerTitle
ThuFeb 0316:00Kenny LauTilting Perfectoid Fields
ThuFeb 1016:00Nicolò CavalleriTopological vector bundles
ThuFeb 1716:00Kexing YingProbability theory and martingales
ThuFeb 2416:00Bhavik MehtaTBA
ThuMar 0316:00Alena GusakovTBA
ThuMar 1016:00Ashvni Narayananp-adic L-functions
ThuMar 1716:00Oliver NashTBA
ThuMar 2416:00Heather MacbethTBA
Embed this schedule
Your timeSpeakerTitle
ThuJan 2716:00Amelia LivingstonGroup cohomology
ThuJan 2016:00Chris BirkbeckModular forms and Eisenstein series
ThuJan 1316:00María Inés de Frutos-FernándezAdeles and ideles
Embed this schedule
Export series to