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

Xena の記事「Mathematics in type theory」の非公式日本語訳です．
https://github.com/lean-ja/math-in-type-theory-ja

japanese-translations lean lean4 mdbook

Last synced: 4 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/lean-ja/math-in-type-theory-ja
• Owner: lean-ja
• License: mit
• Created: 2023-09-04T13:08:22.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-11-23T14:46:03.000Z (over 2 years ago)
• Last Synced: 2026-05-23T00:59:23.707Z (about 1 month ago)
• Topics: japanese-translations, lean, lean4, mdbook
• Language: Handlebars
• Homepage: https://lean-ja.github.io/math-in-type-theory-ja/
• Size: 1.2 MB
• Stars: 3
• Watchers: 1
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Mathematics in type theory 非公式日本語訳

* [原文](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/)

* [対訳表](GLOSSARY.md)

* [Zenn版](https://zenn.dev/leanja/articles/math_in_type_theory)