X xenaproject.wordpress.com A mathematical formalisation challenge by Peter Scholze 75 points alimw 6 years ago 24 comments
