Opgewonden om een ~25K regels Lean bewijs van de Stelling van de Priemgetallen (PNT) in sterke vorm aan te kondigen! Dit voltooit een uitdaging die in januari 2024 door Terry Tao en @AlexKontorovich is gesteld.