New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper on October 28, 2023 Get link Facebook X Pinterest Email Other Apps Lean4 helped Terence Tao discover a small bug in his recent paper 467 by gridentio | 208 comments on Hacker News. Comments
Comments
Post a Comment