@misc{indiciae805b191dd167,
  title = {On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"},
  author = {Nadja Scharf},
  year = {2017},
  url = {https://arxiv.org/abs/1712.03568},
  note = {Source identifier: 1712.03568}
}