# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT
[book]
title = "The Kani Rust Verifier"
description = "Documentation for the Kani Rust Verifier"
authors = ["Kani Developers"]
src = "src"
language = "en"
multilingual = false

[output.html]
site-url = "/kani/"
git-repository-url = "https://github.com/model-checking/kani"
edit-url-template = "https://github.com/model-checking/kani/edit/main/docs/{path}"

[output.html.playground]
runnable = false

[preprocessor.graphviz]