@misc{indiciae6e69b8cc82be,
  title = {A formal proof of the four color theorem},
  author = {Limin Xiang},
  year = {2009},
  url = {https://arxiv.org/abs/0905.3713},
  note = {Source identifier: 0905.3713}
}