これが初出
「第二だからああ」の前には
「IUT検証は目的じゃないからああ」の段階があるw
そんで殴られて「第二だからああ」とか言い出した
クソ頭悪いIUT擁護派w

👇

659 １３２人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ

一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
https://rio2016.5ch.io/test/read.cgi/math/1774529018/659