▲ 3 pointsShinichi Mochizuki: On the Formalization of IUT: a preliminary progress report [video]youtube.comby amichail·3mo ago·0 comments·view on hn ↗