online seminar talk about the Carleson project

Stream: Carleson

[Floris van Doorn]

I gave an online seminar about the Carleson project yesterday in the Homotopy type theory electronic seminar talks
The recording is here: https://www.youtube.com/watch?v=vMEGU8fL1xM
My slides are here: https://florisvandoorn.com/talks/HoTTEST2024.pdf
There were some visual glitches during the recording, so it might be useful to open the slides next to it if you're watching the video.

[Kevin Buzzard]

Oh boy! What did the audience make of all of those integrals?

[Floris van Doorn]

I started gently :-)