London Learning Lean
Computer science Mathematics
| Audience: | Advanced learners |
| Seminar series times: | No fixed schedule |
| Organizer: | Kevin Buzzard* |
| *contact for this listing |
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!
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Fri | May 29 | 12:00 | Various | London Learning Lean | |
Export series to