lean-ja/math-in-type-theory-ja

Xena の記事「Mathematics in type theory」の非公式日本語訳です．

Mathematics in type theory 非公式日本語訳

• 原文
• 対訳表
• Zenn版