TY  - RPRT
TI  - Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
AU  - David Delahaye
AU  - Micaela Mayero
PY  - 2005
UR  - https://arxiv.org/abs/cs/0510011
ID  - cs/0510011
ER  -