>>103
それ読んでショルツが形式化の専門家だと思うならどうかしてる
しかしleanってcoqに比較してもあまり日本の数学者には浸透してないよな。同じようなもんだとは思うが
Inter-universal geometry とABC 予想47
■ このスレッドは過去ログ倉庫に格納されています
109１３２人目の素数さん
2021/12/24(金) 16:06:28.02ID:0sxEbEP0■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【国際】ロシアの石油タンカー拿捕 米当局、ベネズエラ関連で米 ★3 [ぐれ★]
- 中国「完全に正当で合法」 輸出規制、日本抗議に反論 ★3 [ぐれ★]
- スマイリーキクチ、栃木県高校の“暴行動画”拡散に私見「被害者の少年が喜ぶと思いますか？」 [jinjin★]
- 結婚を匂わせ、避妊せず200回以上も…既婚男性の独身偽装で人生を壊された女性が明かす今も続く地獄…裁判では男に151万円の賠償命令 [ぐれ★]
- 米国が制裁していたベネズエラ沖の石油タンカー、ロシアが潜水艦を派遣して護衛 米国が拿捕強行ならロシアが報復か [お断り★]
- 「通勤送迎に車は必要、生活保護停止は違法」 女性が仙台市を提訴 [七波羅探題★]
- 中国、日本人の命も握っていた… 抗生物質原料１００％中国産wwwwwwwwwwwww [668024367]
- レス乞食のダンボールハウス🏡
- 【悲報】声優・楠木ともりさん、結婚発表後の初ツイートがこれ→オタクブチギレwwwwwwwwwwwwwwww [839150984]
- 【悲報】米国司法省、ベネズエラの“麻薬カルテル”の存在が確認できないため、起訴状から削除 [834922174]
- 【画像】防衛省も注目、低コストで量産可能な「段ボール製ドローン」 [834922174]
- 【悲報】タイヤ屋社長「氷の上ではスタッドレス一択」識者「あのさぁ」 [394133584]