A new Lean formalization project for the Prime Number Theorem

1 points| spekcular | 2 years ago |mathstodon.xyz