Flyspeck: The formal proof of the Kepler conjecture

(github.com) by throwoutway | Dec 27, 2025 | 0 comments on HN