Hacker Newsnew | past | comments | ask | show | jobs | submit | napoleoncomplex's favoriteslogin
1.
Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
497 points by gridentio on Oct 27, 2023 | 220 comments

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

Search: