Hacker News new | ask | show | jobs
A new Lean formalization project for the Prime Number Theorem (mathstodon.xyz)
1 points by spekcular 866 days ago