[isabelle] Archive of Formal Proofs

Today I have added two articles by Roelof Oosterhuis into the development branch of the AFP:

1. Fermat's Last Theorem for exponents 3 and 4
2. Sums of 2 and 4 squares

Note that they are not visible in the 2005 version of the AFP. They will appear in the development snapshot of the AFP in a few days.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.