Skip to content

Files

Latest commit

ea3f4a0 · Jan 1, 2025

History

History
This branch is 15 commits behind o1-labs/proof-systems:master.

book

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Sep 18, 2024
Dec 15, 2024
Jan 1, 2025
Mar 1, 2022
Sep 17, 2024
May 9, 2024
Nov 29, 2023
Sep 18, 2024
Feb 27, 2023
Jan 16, 2024
Sep 18, 2024
Sep 18, 2024
Sep 18, 2024

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.