HoTT の変更点 - KnxmWiki

[ トップ ] [ 編集 | 差分 | バックアップ | 添付 | リロード ] [ 新規 | 一覧 | 検索 | 最終更新 | ヘルプ ]

追加された行はこの色です。
削除された行はこの色です。
HoTT へ行く。

[[FrontPage]]

* Homotopy Type Theory [#j03b4ac2]
- http://homotopytypetheory.org/