carnevalem 323 karma 16y 3m on HN HN profile →
[AndyCarnevale.com](https://AndyCarnevale.com)

carnevalem.at.hn
Coverage
We've seen 1 of ~52 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Completing the formal proof of higher-dimensional sphere packing (www.math.inc)
1 points by carnevalem 4 hours ago | 0 comments | skipped