Coq-HoTT
Coq-HoTT
Homotopy Type Theory(HoTT)
のCoq実装バージョン
GitHub:
HoTT/Coq-HoTT: A Coq library for Homotopy Type Theory
確認用
Q. Coq-HoTT
関連
HoTT-Agda
Cubical Type Theory
Cubical Agda
調査用
Google.icon
Coq-HoTT(日)
Google.icon
Coq-ToTT(英)
Wikipedia.icon
Coq-HoTT - Wikipedia(日)
Coq-HoTT(検索) - Wikipedia(日)
Wikipedia.icon
Coq-hott - Wikipedia(英)
Coq-hott(検索) - Wikipedia(英)