17 lines
368 B
TOML
17 lines
368 B
TOML
[book]
|
|
authors = ["Leonardo de Moura", "Sebastian Ullrich"]
|
|
language = "en"
|
|
multilingual = false
|
|
src = "."
|
|
title = "Lean Manual"
|
|
|
|
[build]
|
|
build-dir = "out"
|
|
|
|
[output.html]
|
|
git-repository-url = "https://github.com/leanprover/lean4"
|
|
additional-css = ["alectryon.css", "pygments.css"]
|
|
additional-js = ["alectryon.js"]
|
|
|
|
[output.html.playground.boring-prefixes]
|
|
lean = "# "
|