Zulip Chat Archive

Stream: Sphere packing in 8 dimensions

Discussion for Autoformalization (30 messages, latest: Feb 26 2026 at 15:30)
Weekly Packathons @ CMU (49 messages, latest: Feb 26 2026 at 13:14)
channel events (3 messages, latest: Feb 23 2026 at 17:14)
Poisson Summation Formula (8 messages, latest: Jan 31 2026 at 10:21)
Talks (2 messages, latest: Jan 28 2026 at 03:26)
Integrability (1 message, latest: Jan 27 2026 at 16:17)
Whitney/Borel Lemma Usage (6 messages, latest: Jan 27 2026 at 14:58)
PRs (28 messages, latest: Jan 23 2026 at 15:04)
ItaLean Working Group (5 messages, latest: Dec 09 2025 at 15:25)
Complex analysis (71 messages, latest: Nov 04 2025 at 18:18)
Announcements (5 messages, latest: Sep 12 2025 at 02:16)
Typo in Blueprint (2 messages, latest: Jun 21 2025 at 01:57)
✔ CI (14 messages, latest: Jun 14 2025 at 09:07)

Last updated: Feb 28 2026 at 14:05 UTC