Saturday, October 28, 2023

Home » » 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

October 28, 2023    No comments

Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments on Hacker News.


0 Comments:

Post a Comment