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-10-17T00:00:00Z
None