Xena 日本語訳
型理論を基礎とする数学
1.
イントロダクション
2.
定義，命題，証明
3.
宇宙，型，項
4.
定理，証明
5.
命題は型，証明は項
6.
定理の要素
7.
フェルマーの最終定理の証明は関数
FAQ: 型理論でのゼロ除算の扱い
Light
Rust
Coal
Navy
Ayu
Xena 日本語訳
Mathematics in type thoery 日本語訳
原文は
Mathematics in type theory.
です．