https://ift.tt/gCxGU6XLean4 helped Terence Tao discover a small bug in his recent paper
465 by gridentio | 208 comments on Hacker News.
465 by gridentio | 208 comments on Hacker News.
New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper
![New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper]()
Reviewed by Gs News
on
October 28, 2023
Rating:
No comments: