💎 Emily Riehl, professeur de mathématiques renommée à l'Université Johns Hopkins : « La formalisation a complètement changé ma vision de ce qu'est les mathématiques. En fait, la plupart de cela est dû au fait qu'elle m'a familiarisée avec une approche différente des fondements des mathématiques. » Entretien complet avec Math, Inc.’s @jessemhan et @jdlichtman bientôt.