A FORMAL PROOF OF THE KEPLER CONJECTURE

A FORMAL PROOF OF THE KEPLER CONJECTURE

Blog Article

This article describes a formal proof of the Kepler conjecture on dense sphere packings in Stash Cans a combination of the HOL Light and Isabelle proof assistants.This paper constitutes the official published account Bundle of the now completed Flyspeck project.