Flyspeck: The formal proof of the Kepler conjecture

1 pointsposted a month ago
by throwoutway
(github.com)

No comments yet