Hacker News new | ask | show | jobs
Flyspeck: The formal proof of the Kepler conjecture (github.com)
1 points by throwoutway 174 days ago