London Learning Lean
general mathematics number theory
| 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 www.youtube.com/watch?v=UykGFDVfQNA&list=PLVZep5wTamMmqv34JnrNC2AgjfPoh_LN8
The seminar series is hybrid/online -- it will meet in person at Imperial College in room Huxley 410, and will also be live streamed on Zoom.