Hacker Newsnew | past | comments | ask | show | jobs | submit | c0rruptbytes's favoriteslogin
1.
Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
186 points by matt_d 49 days ago | 39 comments

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

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

Search: