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-14T13:25:11Z
None