@article{DBLP:journals/corr/abs-2103-11389, author = {Guillaume Dubach and Fabian Muehlboeck}, title = {Formal verification of Zagier's one-sentence proof}, journal = {CoRR}, volume = {abs/2103.11389}, year = {2021}, url = {https://arxiv.org/abs/2103.11389}, archivePrefix = {arXiv}, eprint = {2103.11389}, timestamp = {Wed, 24 Mar 2021 15:50:40 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-11389.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }