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

Notifications You must be signed in to change notification settings
Fork 2
Star 3

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

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

3 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
.github/workflows		.github/workflows
.vscode		.vscode
src		src
theme		theme
.gitignore		.gitignore
GLOSSARY.md		GLOSSARY.md
LICENSE		LICENSE
README.md		README.md
book.toml		book.toml

Repository files navigation

Mathematics in type theory 非公式日本語訳

About

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

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

lean mdbook japanese-translations lean4

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

Handlebars 100.0%