Interuniversal geometry とABC 予想59  

[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59   (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

253(1): 2025/12/07(日)15:28 ID:CjhHy8XN(1) AAS
望月新一に「LeanでIUTを形式化したいんですけど、ここのギャップってどうやって埋めるんですか？」って聞いたらどうなるの

254: 2025/12/07(日)16:10 ID:izb72j2R(1/6) AAS
>>253
望月さんご自身が形式化しないと意味ないのでは？