A FORMAL PROOF OF THE KEPLER CONJECTURE

A FORMAL PROOF OF THE KEPLER CONJECTURE

Blog Article

This article describes a formal proof of the Seafood Serving Pots Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants.This paper constitutes the official published account of the Tiffany Table Lamp now completed Flyspeck project.