💎 Emily Riehl, profesor matematika terkenal di Universitas Johns Hopkins: "Formalisasi telah benar-benar mengubah pandangan saya tentang apa itu matematika. Sebenarnya sebagian besar dari itu karena itu mengenalkan saya dengan pendekatan yang berbeda terhadap dasar-dasar matematika." Percakapan lengkap dengan @jessemhan dan @jdlichtman Math, Inc. segera.