A formally verified proof of the prime number theorem

  • Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
  • ACM Transactions on Computational Logic, December 2007, ACM (Association for Computing Machinery)
  • DOI: 10.1145/1297658.1297660

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1145/1297658.1297660

In partnership with:

Link to ACM (Association for Computing Machinery) showcase