Formalising Mathematics: An Introduction #1 Post by hnthwaccount » Tue, Jan 26, 2021, 2:31 PM UTC Formalising Mathematics: An Introductionxenaproject.wordpress.com