thank you organizers and speakers!

Stream: Lean Together 2025

[Rob Lewis]

I had conflicts most of today and couldn't say this in person, but a big thank you to @Riccardo Brasca @Kevin Buzzard @Jireh Loreaux for putting this workshop together, and to all the speakers for a wonderful set of talks!