ホモトピー型理論(Homotopy Type Theory)
ホモトピー型理論(Homotopy Type Theory:HoTT)
HoTT/Coq 覚書
関連
Plugin Backlinks: 該当文書はありませんでした。
ホモトピー型理論
,
理論
,
型理論
,
数学