X xenaproject.wordpress.com Formalising Mathematics: An Introduction 205 points panic 5 years ago 116 comments
