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