Saturday, October 28, 2023

Lean4 helped Terence Tao discover a small bug in his recent paper

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


on