M math.inc Completing the formal proof of higher-dimensional sphere packing 1 points carnevalem 8 months ago 0 comments