Formalizing an analytic proof of the prime number theorem
scientific article