💎 Emily Riehl, professora renomada de matemática na Universidade Johns Hopkins: "A formalização mudou completamente a minha visão do que é a matemática. Na verdade, a maior parte disso se deve ao fato de que me apresentou uma abordagem diferente para os fundamentos da matemática." A conversa completa com @jessemhan e @jdlichtman em breve.