Zulip Chat Archive

Stream: Big Proof 2025

Topic: The Carleson Project: Formalization and Collaboration

Floris van Doorn (Jun 10 2025 at 13:54):

Here are my slides:
carleson.pdf

Last updated: Dec 20 2025 at 21:32 UTC