Paul(2007) ‘A formally verified proof of the prime number theorem (0)

by Jeremy Avigad, Kevin Donnelly, David Gray, andRaff
Venue:ACM Transactions on Computational Logic