[isabelle] New AFP entry: Perfect Number Theorem



Perfect Number Theorem
Mark IJbema

These theories present the mechanised proof of the Perfect Number Theorem.

http://afp.sourceforge.net/entries/Perfect-Number-Thm.shtml

---------------------------------------------------------------------

In case you have some development with Isabelle 2009 that you would like
to submit to the AFP, you should do so within the next few days, before
we switch over to a new Isabelle release.

Tobias





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