@misc{indiciae57e3277ca88b,
  title = {Formal verification of Zagier's one-sentence proof},
  author = {Guillaume Dubach and Fabian Muehlboeck},
  year = {2021},
  url = {https://arxiv.org/abs/2103.11389},
  note = {Source identifier: 2103.11389}
}