Dense Sphere Packings: A Blueprint for Formal Proofs