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

news.ycombinator.com

saved by: 0 people
related read on: Lean4 helped Terence Tao discover a small bug in his rece... discussion