Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Perfect Number Theorem

Email Gateway (Aug 18 2022 at 14:20):

From: Tobias Nipkow <nipkow@in.tum.de>
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

Last updated: Apr 23 2024 at 20:15 UTC