Tests for Cardano ledger introducing Plutus Core
This package builds upon the Mary ledger with support for extended UTxO via Plutus Core.
IOHK Formal Methods Team
[email protected]
Apache-2.0
2022-11-11T00:24:50Z
None