4 ms·Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report [video]3 points by amichail 6mo ago