Interuniversal geometry とABC 予想61
(312ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
98(1): 07/17(金)13:51 ID:dythpcIC(5/10) AAS
ん？？？LEAN公開しないのん？？めんどくせー俺の公開したくないんだが…公式で途中だからって出さないとか無能かよ
102: 07/17(金)14:02 ID:vYHSR94t(2/10) AAS
>>98
「ライブラリ作成がああある第一目標なんですうう」とか言ってたオッサン居たよなw
コイツww
👇
659 １３２人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.654s*