@misc{indiciae98be4f41a80b,
  title = {A Lean formalization of Matiyasevič's Theorem},
  author = {Mario Carneiro},
  year = {2018},
  url = {https://arxiv.org/abs/1802.01795},
  note = {Source identifier: 1802.01795}
}