Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Why formalize mathematics – more than catching errors (rkirov.github.io)
224 points by birdculture 48 days ago | past | 75 comments
Why formalize mathematics – more than catching errors (rkirov.github.io)
4 points by Bogdanp 49 days ago | past | 1 comment
Learning Lean: Part 1 (rkirov.github.io)
1 point by todsacerdoti 9 months ago | past

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

Search: