X xenaproject.wordpress.com Formalising modern research mathematics in real time 111 points mauricioc 3 years ago 16 comments
