Hacker News new | ask | show | jobs
by nylonstrung 3 days ago
More accurate title would be "Terry Tao Became an Evangelist for Lean"