A new Lean formalization project for the Prime Number Theorem | Dark Hacker News