Formalization of IUT: A Preliminary Progress Report by Mochizuki et al. [pdf]

 (kurims.kyoto-u.ac.jp)

1 points | by amichail 6 hours ago ago

No comments yet.