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.
What you've done here is an overgeneralization. "People who like math" and "people who like computers" are massive demographics with considerable overlap.