Report - A FORMAL PROOF OF THE KEPLER CONJECTURE - cambridge.org · Received 21 November 2014; accepted 9 December 2016 Abstract This article describes a formal proof of the Kepler conjecture

Please pass captcha verification before submit form