/cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

Primary LanguageHaskellApache License 2.0Apache-2.0

Watchers