This directory contains our documentation on how to use the proof debugger.

The [`mdbook` documentation](https://rust-lang.github.io/mdBook/)
explains how to use `mdbook` to generate documentation.
* The file `book.toml` is the configuration file used by `mdbook` to
  build the documentation.
* The directory `src` is the tree of markdown files that generate the
  "book" containing the documentation.
* The file `src/SUMMARY.md` is the list of "chapters" and
  "subchapters" that will appear in the book.  The only pages that
  will appear in the book are those generated from the markdown files
  listed in this summary.
* The directory `book` will contain the html making up the book.

You can build the documentation with
```bash
mdbook build
```
and browse the documentation in a web browser with
```bash
mdbook serve --open
```