@cardano byron-spec-ledger1.1.0.0

Executable specification of Cardano ledger