A FORMAL PROOF OF THE KEPLER CONJECTURE

A FORMAL PROOF OF THE KEPLER CONJECTURE

Blog Article

This article describes a formal proof of Storage Bowls the 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 ULTRA PRIM now completed Flyspeck project.