▲ 1 pointsFormalization of IUT: A Preliminary Progress Report by Mochizuki et al. [pdf]kurims.kyoto-u.ac.jpby amichail·4mo ago·0 comments·view on hn ↗