Mina book

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
$ make
$ # clean
$ make clean

The specifications in the book are dynamically generated. Refer to the specifications/ directory.