London Learning Lean
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!
Past talks 1
Discussion 0
Seminar data sourced from researchseminars.org. Androma is not affiliated with researchseminars.org.
Claim this seminar series
If you organize this seminar series on researchseminars.org, you can claim it on Androma. This lets you manage the series, add descriptions, and link it to your profile.
Claim submitted. An admin will review your request.
No comments yet. Be the first to share your thoughts!