nLab
Thomas Hales

Selected writings

Selected writings

On the Flyspeck project (proof of the Kepler conjecture with help of the computer proof assistant HOL Light):

category: people

Last revised on July 10, 2019 at 06:45:03. See the history of this page for a list of all contributions to it.