elv-spec View here Building Install mdbook and deps cargo install mdbook mdbook-mermaid cargo install --git "https://github.com/lzanini/mdbook-katex" Build a serve mdbook serve