Zulip Chat Archive

Stream: Proofs from the book

Amsterdam (137 messages, latest: Nov 08 2025 at 18:37)
Art gallery problem (6 messages, latest: Aug 30 2025 at 21:08)
Channels (3 messages, latest: Aug 18 2025 at 10:14)
Turan's third proof (4 messages, latest: Apr 24 2025 at 11:18)
Mystery: import breaks simp (1 message, latest: Jan 24 2025 at 09:35)
Google CLA needed? (5 messages, latest: Nov 20 2024 at 07:44)
General (57 messages, latest: Nov 12 2024 at 15:14)
channel events (1 message, latest: Nov 11 2024 at 15:53)

Last updated: Dec 20 2025 at 21:32 UTC