Kevin Buzzard on Twitter: "OK so one of the co-founders of Ethereum just announced that they have founded an institute for formalising mathematics at CMU. There will be money for PhD students
Non-formal approach to teaching mathematics – Math Reality
Formal Written Methods
Table 1 from Following students' development in a traditional university analysis course | Semantic Scholar
A Formal Background to Mathematics: Logic, Sets and Numbers | SpringerLink