Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series)