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


In partnership with:

Link to ACM (Association for Computing Machinery) showcase