Re:Lean4 helped Terence Tao discover a small bug in his rece...
by colinhb on Saturday October 28, 2023 @06:49AM
(#38048771)
Agree in part but also I think Terry is such an outlier (though also generous and humble) that it’s hard to extrapolate from this example to a more general case
[ Parent
| on HN ]
There are no comments on this comment yet.