26/08/12 10:22:49.78 4yQnIkTl.net
>>895
>[PDF] Comments on the LANA Project Report of Kato et al.
>K Joshi - 2026
情報ありがとう
下記だね
URLﾘﾝｸ(sites.arizona.edu)
Webpage of Kirti Joshi
My reports on the Mochizuki-Scholze-Stix Controversy
URLﾘﾝｸ(sites.arizona.edu)
・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]