2 citations · 2 across the 1 of their papers we have counts for
1 paper
Hing Lun Chan
The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation us…