Thomas C. Hales. External Tools for the Formal Proof of the Kepler Conjecture. In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 1, EasyChair, 2013. [doi]
Abstract is missing.