Hacker News new | ask | show | jobs
by alimw 984 days ago
Mochizuki is unenthusiastic.

[1] Section 1.12 of https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logic....