Zulip Chat Archive
Stream: Sphere packing in 8 dimensions
Topic: channel events
Notification Bot (Jun 13 2025 at 13:16):
Public channel created by Bhavik Mehta. Description:
Discussion of the Sphere-Packing-Lean
Notification Bot (Jun 13 2025 at 13:16):
Bhavik Mehta changed the description for this channel.
- Old description:
Discussion of the Sphere-Packing-Lean
- New description:
Discussion of the Sphere-Packing-Lean project
Last updated: Dec 20 2025 at 21:32 UTC