Zulip Chat Archive

Stream: Big Proof 2025

Recordings (14 messages, latest: Jul 12 2025 at 08:52)
c.f. Terence's talk and pairwise disjoint {1}, {2}, {3, 4} (12 messages, latest: Jun 13 2025 at 13:02)
Equational Theory Project slides (1 message, latest: Jun 10 2025 at 15:00)
The Carleson Project: Formalization and Collaboration (1 message, latest: Jun 10 2025 at 13:54)
Lean metatheory: the proofs behind the proofs (1 message, latest: Jun 10 2025 at 13:17)
AlphaProof (3 messages, latest: Jun 09 2025 at 16:08)
Emily Riehl’s talk (1 message, latest: Jun 09 2025 at 10:48)

Last updated: Feb 28 2026 at 14:05 UTC