New best story on Hacker News: 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.