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

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

https://lean-ja.github.io/math-in-type-theory-ja/

Repository from Github https://github.comlean-ja/math-in-type-theory-ja