Zulip Chat Archive
Stream: Sphere packing in 8 dimensions
Topic: ItaLean Working Group
Sidharth Hariharan (Dec 09 2025 at 15:00):
ItaLean working group task: spherepacking#229
Sidharth Hariharan (Dec 09 2025 at 15:13):
(deleted)
Sidharth Hariharan (Dec 09 2025 at 15:13):
(deleted)
Sidharth Hariharan (Dec 09 2025 at 15:15):
(deleted)
Sidharth Hariharan (Dec 09 2025 at 15:25):
(deleted)
Last updated: Dec 20 2025 at 21:32 UTC