Ciro Santilli @cirosantilli 37

 Tagged: Formal proof

Formal proof of the prime number theorem  Updated 2025-05-29  +Created 2025-03-08

Bibliography:

mathoverflow.net/questions/488721/formal-proofs-of-the-prime-number-theorem

 Read the full article