Flyspeck: The formal proof of the Kepler conjecture

1 points| throwoutway | 2 months ago |github.com