A new Lean formalization project for the Prime Number Theoremmathstodon.xyz1 pointspekcular2 years ago