2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…