Formalizing an Analytic Proof of the Prime Number Theorem (2008)

by John Harrison
Venue:Tools and Techniques for Verification of System Infrastructure