Hacker News new | ask | show | jobs
by vbezhenar 984 days ago
Make proof using computer system, obviously.
1 comments
alimw 984 days ago
Mochizuki is unenthusiastic.

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

link