A formally verified proof of the prime number theorem (2006)

Cached

Download Links

by Jeremy Avigad , Kevin Donnelly , David Gray , Paul Raff
Venue:ACM Transactions on Computational Logic
Citations:24 - 5 self