>>895
>[PDF] Comments on the LANA Project Report of Kato et al.
>K Joshi - 2026

情報ありがとう
下記だね

https://sites.arizona.edu/kirti-joshi/
Webpage of Kirti Joshi
My reports on the Mochizuki-Scholze-Stix Controversy
https://sites.arizona.edu/kirti-joshi/files/2026/07/Comments-on-the-LANA-Project-Report-of-Kato-et-al.pdf
・Comments on the LANA Project Report of Fumiharu Kato et al. [Provides my comments on the recent (July 2026) LEAN Formalization of Mochizuki’s IUTT]