2 ms·
Make proof using computer system, obviously.
by vbezhenar 3y ago
Make proof using computer system, obviously.
- alimw 3y agoMochizuki is unenthusiastic. [1] Section 1.12 of https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logic....