IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

LEDGER pov #581

Closed williamdemeo closed 1 month ago

williamdemeo commented 2 months ago

Description

Addresses third item of issue #467.

Checklist

[x] Commit sequence broadly makes sense and commits have useful messages
[x] Any semantic changes to the specifications are documented in CHANGELOG.md
[x] Code is formatted according to CONTRIBUTING.md
[x] Self-reviewed the diff