Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report [video](youtube.com)3 points by amichail 31 days ago | 0 commentsNo comments yet