[FOM] formal verification of the prime number theorem
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
as well as some preliminary notes and thoughts on the formalization.
More information about the FOM