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

Events details available on https://researchseminars.org/seminar/LondonLearningLean