[FOM] formal verification of the prime number theorem

[Jeremy Avigad]

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

  http://www.andrew.cmu.edu/~avigad/isabelle

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

Jeremy