59 citations · 106 across the 16 of their papers we have counts for
1 paper · 1 filter
Guillaume Dubach, Fabian Muehlboeck
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier…