Perfect Number Theorem

Mark Ijbema 📧

November 22, 2009

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

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

License

BSD License

Topics

Session Perfect-Number-Thm