This directory holds the code related to documentation and specifications of the proof systems.
It is built with mdbook, which you can use to serve the page via the following command:
$ # install dependencies
$ make deps
$ # serve the page locally
$ makeThe specifications in the book are dynamically generated. Refer to the specifications/ directory.