j-mueller/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
HaskellApache-2.0
No issues in this repository yet.
A formal specification and executable model of the ledger rules introduced by the Shelley release
HaskellApache-2.0
No issues in this repository yet.