↑
Update: Mochizuki's ABC Conjecture proof is unformalizable
Posted by
amichail
|
2 hours ago |
1 comments
amichail 2 hours ago
Here's the report:
https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...
