The Coq mailing list

[David Delahaye <delahaye AT pauillac.inria.fr>]

    Dear Coq users,

    We are pleased to announce the new contribution called Fermat4, which is
the formalization of Fermat's proofs for Diophantus' 20th problem (i.e. there
do not exist right triangles whose sides and surface may be measured as
integers) and Fermat's last theorem for n = 4. This contribution is available
on the Coq Web site or directly at:

    http://coq.inria.fr/contribs/Fermat4.html

    David Delahaye & Micaela Mayero.

-------------------------------------------
David Delahaye, 
David.Delahaye AT cnam.fr
http://cedric.cnam.fr/~delahaye/

Micaela Mayero, 
mayero AT lipn.univ-paris13.fr
http://www-lipn.univ-paris13.fr/~mayero/