alt
Hacker News
nylonstrung
•
last Monday at 5:23 PM
•
0 replies
•
view on HN
More accurate title would be "Terry Tao Became an Evangelist for Lean"
alt Hacker News