Hacker News new | ask | show | jobs
by voxl 972 days ago
The only benefit Terrence Tao has received is in correcting syntax. He has mentioned that he has gotten (in my opinion better) benefits from talking to existing Lean4 specialists.