The Sphere Packing Project – Post 1 – The Story
By Aleksandr_NFA · 2026-10-19 · 1 points · 0 comments
https://leanprover-community.github.io/blog/posts/SpherePacking-1/
By Aleksandr_NFA · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews