leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Sphere packing in 8 dimensions

Topic: Talks


Sidharth Hariharan (Jan 21 2026 at 18:48):

As mentioned in the packathons, we are giving an update at Lean Together in about 10 minutes. Join here!

Sidharth Hariharan (Jan 28 2026 at 03:26):

Hi everyone! As I mentioned during the packathons, I'm speaking at the Aarhus Math and AI workshop tomorrow: 2026-01-28T18:20:00+01:00. Here is the link, for anyone wishing to attend virtually!


Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll