💎 Emily Riehl, rinomata professoressa di matematica presso la Johns Hopkins University: "La formalizzazione ha completamente cambiato la mia visione di cosa sia la matematica. In realtà, gran parte di ciò è dovuto al fatto che mi ha fatto conoscere un approccio diverso alle fondamenta della matematica." Presto la conversazione completa con Math, Inc.’s @jessemhan e @jdlichtman.