Hacker Newsnew | past | comments | ask | show | jobs | submit | math-dev's favoriteslogin
1.
The future of interactive theorem proving? (xenaproject.wordpress.com)
111 points by ColinWright on Aug 16, 2022 | 16 comments
2.
Quirky computing books (github.com/fogus)
323 points by llvm on Aug 13, 2022 | 118 comments

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

Search: