j-mueller/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
HaskellApache-2.0
A formal specification and executable model of the ledger rules introduced by the Shelley release
HaskellApache-2.0