💎 艾蜜莉·瑞爾（Emily Riehl），約翰霍普金斯大學的著名數學教授： 「形式化徹底改變了我對數學的看法。 實際上，這大部分是因為它讓我接觸到數學基礎的不同方法。」 與 Math, Inc. 的 @jessemhan 和 @jdlichtman 的完整對話即將推出。