💎 Емілі Ріл, відома професорка математики в Університеті Джонса Гопкінса: "Формалізація повністю змінила моє бачення того, що таке математика. Насправді більшість цього тому, що це познайомило мене з іншим підходом до основ математики.» Повна розмова з @jessemhan Math, Inc. і @jdlichtman найближчим часом.