London Learning Lean

Abstract: This London Learning Lean will take place on Friday 29th May at Imperial College London. NOTE: in contrast to the usual schedule, the meeting will take place 1-3pm (once only; we'll then go back to Friday late afternoons, but someone has a plane to catch this week). There will be food served at 1pm in Huxley 549 and the talks will take place 1:30pm-3pm in Huxley 410.

general mathematicsnumber theory

Audience: advanced learners

London Learning Lean

Series comments: London Learning Lean is an in-person informal seminar where people in the Lean community give 10-minute presentations on things they're doing with the Lean theorem prover. It runs on the last Friday of the month, typically either at Imperial College or UCL. Please contact Kevin Buzzard on the Lean Zulip if you want to reserve a slot for a ten-minute presentation!