[lmm]

> Steve Simpson and Harvey Friedman are on record on the Foundations of Mathematics mailing list saying, essentially, that HoTT is a waste of time [0]. The other set theory experts I know agree with them but haven't said so publicly. My impression is that this is a fairly common view in the set theory and foundations community.

The set theory and foundations community, i.e. the small minority of mathematicians who manage to do effective work on mathematical foundations in ZFC, are precisely the people who we'd expect to be most anti HoTT. It's not necessarily wrong, but it's like concluding that OOP is pointless because you've talked to leading C programming experts.