Glad for å kunngjøre et ~25K linje Lean proof av primtallsteoremet (PNT) i sterk form! Dette fullfører en utfordring satt av Terry Tao og @AlexKontorovich tilbake i januar 2024.