Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

David Delahaye Micaela Mayero Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant http://arxiv.org/abs/cs/0510011 2005 CoRR abs/cs/0510011 db/journals/corr/corr0510.html#abs-cs-0510011 informal publication