shelley-ledger-specs

Build Status Coverage Status Documentation Status

shelley-ledger-specs Overview

Formal and executable specifications for the new features to be introduced by Shelley.

The documents are built in our CI and can be readily accessed using the following links:

In addition, there is a formalization of the Ledger Specification in Isabelle/HOL which can be found here.

nix-build Infrastructure

The artifacts in this repository can be built and tested using nix. This is additionally used by the Hydra CI to test building, including cross-compilation for other systems.