[book] authors = ["Yuuki Takano"] language = "en" multilingual = false src = "src" title = "safe_drive: Formally Specified Rust Bindings for ROS2" [preprocessor] [preprocessor.mermaid] command = "mdbook-mermaid" [output] [output.html] additional-js = ["mermaid.min.js", "mermaid-init.js"]