Hacker News new | past | comments | ask | show | jobs | submit login

Metamath has a proof of Prime Number Theorem. Its coverage of advanced mathematics is pretty much as good as any.





Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: