Flyspeck: The formal proof of the Kepler conjecture

1 pointsposted 8 hours ago
by throwoutway
(github.com)

No comments yet