Zulip Chat Archive
Stream: Carleson
Topic: Carleson in informal formalization seminar
Jim Portegies (Oct 17 2024 at 13:22):
Hi all. Just wanted to mention that I'm giving a talk on the proof of the real interpolation theorem in the informal formalization seminar tomorrow afternoon (Fri Oct 18).
Johan Commelin (Oct 17 2024 at 13:31):
Looking forward to it!
Floris van Doorn (Oct 18 2024 at 10:35):
If you're using slides, please share them (afterwards)!
Last updated: May 02 2025 at 03:31 UTC