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
formal.methods@iohk.io
Apache-2.0
2022-11-14T13:25:11Z
None