[FOM] formal verification of the prime number theorem

Jeremy Avigad avigad at cmu.edu
Fri Sep 10 17:09:23 EDT 2004

I am pleased to announce that with the help of Kevin Donnelly, David Gray,
and Paul Raff, I have verified a proof of the prime number theorem using the
Isabelle proof assistant. The complete scripts are available from the
project page


as well as some preliminary notes and thoughts on the formalization.


More information about the FOM mailing list