The 1998 proof of the Kepler Conjecture by Sam Ferguson and Tom Hales (original code).
Primary LanguageC++