Comment by ernst_klim

Speaking of the foundations: is intuitionism still alive? How is constructive math doing nowadays? Do mathematicians embrace or reject it? Did the recent HoTT change their attitude towards constructive math?