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: Feb 28 2026 at 14:05 UTC