Ciro Santilli @cirosantilli 36

 Tagged: Formal proof

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

Bibliography:

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

 Read the full article