aconite-ac / math-in-type-theory-ja Public

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

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

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

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

0 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
.github/workflows		.github/workflows
.vscode		.vscode
src		src
theme		theme
.gitignore		.gitignore
GLOSSARY.md		GLOSSARY.md
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/

Report repository

Releases

No releases published

Packages

No packages published

Languages

Handlebars 100.0%