Mathematics in type thoery

• repo
• site
• description: NA

book.toml

[book]
authors = ["Seasawher"]
language = "ja"
multilingual = false
src = "src"
title = "Mathematics in type theory 日本語訳"

[output.html]
git-repository-url = "https://github.com/lean-ja/math-in-type-theory-ja"

# 日本語検索に対応していないため，無効にする
[output.html.search]
enable = false