Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011121314151617181920[book]language = "en"src = "src"title = "Verus Tutorial and Reference"
[rust]edition = "2018"
[output.html]smart-punctuation = true
[output.html.playground]runnable = false
[preprocessor.verus-grammar]command = "python3 verus-grammar.py"
[preprocessor.custom-admonitions]command = "python3 custom-admonitions.py"