Explore projects
-
-
Updated
-
Updated
-
A formal specification and executable model of the ledger rules introduced by the Shelley release
Updated -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
A formal specification and executable model of the ledger rules introduced by the Shelley release