Core components of Cardano ledgers from the Shelley release on.
Cardano ledgers from the Shelley release onwards share a core basis rooted in the Shelley ledger specification. This package abstracts a number of components which we expect to be shared amongst all future ledgers implemented around this base.
IOHK Formal Methods Team
formal.methods@iohk.io
Apache-2.0
2022-10-17T00:00:00Z
2023-03-21T14:35:43Z