sebastiengllmt / cardano-ledger-specs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from intersectmbo/cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
License: Apache License 2.0