P.: A formally verified proof of the prime number theorem (2007)

by J Avigad, K Donnelly, D Gray, Raff
Venue:ACM Trans. Comp. Logic