proof of the Kepler conjecture using the computer proof assistant HOL Light.
Thomas Hales, Introduction to the Flyspeck Project, 2006 (drops:2006/432, pdf)
Created on July 10, 2019 at 10:43:54. See the history of this page for a list of all contributions to it.