README.md

STARK book

What is this?

TKTK

Contribute

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

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