💎 Emily Riehl, uznávaná profesorka matematiky na Johns Hopkins University: "Formalizace zcela změnila můj pohled na to, co matematika je. Ve skutečnosti je to většinou proto, že mě seznámila s jiným přístupem k základům matematiky." Brzy připojíme @jessemhan a @jdlichtman od Math, Inc.