nLab Flyspeck project

Contents

Contents

Idea

proof of the Kepler conjecture using the computer proof assistant HOL Light.

References

Created on July 10, 2019 at 10:43:54. See the history of this page for a list of all contributions to it.