Inter-universal geometry と ABC予想 42

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

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

293(1): 2019/11/21(木)18:46 ID:PWUhKm/4(1) AAS
>>288で Coqに触れたのはHottも含め
このスレで話題になったから。
念のため

295: 2019/11/21(木)18:55 ID:c9ubocMO(6/8) AAS
>>293
>HoTT
ホモトピー型理論ですね
名前だけは知ってます
中身はちっとも知りませんｗ