Completing the formal proof of higher-dimensional sphere packing(math.inc)1 points·by carnevalem·5 mesi fa·0 commentsmath.incCompleting the formal proof of higher-dimensional sphere packinghttps://www.math.inc/sphere-packing0 commentsPost comment—