search

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
38 stars 13 forks source link

Prepare for conformance equivalence #614

Closed UlfNorell closed 4 days ago

UlfNorell commented 6 days ago

Removes some duplicated rules and code from Conway.Conformance and fixes a couple of small issues.

Preparation for #585