Inter-universal geometry と ABC予想 (応援スレ) 52

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

445(1): 2021/03/01(月)16:02 ID:v7ayOauM(30/52) AAS
>>444
HoTT ってプログラミング言語だよ。

448(1): Schlecht 2021/03/01(月)16:07 ID:Rz6p2V3E(17/35) AAS
>>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？