/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

No issues in this repository yet.