Dense Sphere Packings: A Blueprint for Formal Proofs by Thomas M. Hales | Menrva Books