amookaveh / fm-ledger-rules 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: MIT License