The Sphere Packing Project – Post 1 – The Story
Posted 3 hours ago by
Aleksandr_NFA
1
points
https://leanprover-community.github.io/blog/posts/SpherePacking-1/
0
comments