| ▲ | soulofmischief 3 hours ago | |
Terence Tao, one of the most important living mathematicians, specifically embraces Lean and has been helping the community embrace it. What you've done here is an overgeneralization. "People who like math" and "people who like computers" are massive demographics with considerable overlap. | ||
| ▲ | groundzeros2015 2 hours ago | parent [-] | |
> one of the most important living Maybe. But more clearly one of the most popular online. | ||