/cardano-ledger

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

Primary LanguageHaskellApache License 2.0Apache-2.0

Stargazers

No one’s star this repository yet.