Home
About
Contact
Home
FOX NEWS
Hacker News
The New York Times
Home
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
Weary Watches
October 28, 2023
New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper https://ift.tt/zAU4mLX
Post a Comment
0 Comments
Social Plugin
Labels
FOX NEWS
Hacker News
The New York Times
Popular Posts
FOX NEWS: Watters' World: Martha's Vineyard edition
October 20, 2021
Jury Finds Rally Organizers Responsible for Charlottesville Violence
November 24, 2021
Spelling Bee Forum
November 24, 2021
0 Comments