2 ms·Formalization of IUT: A Preliminary Progress Report by Mochizuki et al. [pdf]1 points by amichail 6mo ago