TY  - RPRT
TI  - Formal verification of Zagier's one-sentence proof
AU  - Guillaume Dubach
AU  - Fabian Muehlboeck
PY  - 2021
UR  - https://arxiv.org/abs/2103.11389
ID  - 2103.11389
ER  -