...ure The blueprint edition of the proof of the Kepler conjecture is a secondgeneration proof that contains far more explicit detail than the original proof. The blueprint edition is available at [18], =-=[19]-=-. Many proofs have been significantly simplified and systematized. It has been written in a manner to permit easy formalization. As its name might suggest, this version is intended as a blueprint for ...