_id,doi,title
9281,10.48550/arXiv.2103.11389,Formal verification of Zagier's one-sentence proof