IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

32 stars 13 forks source link

Various small improvements to the PDF #489

Closed WhatisRT closed 1 day ago

WhatisRT commented 1 week ago

Description

Closes #451 and #477.

Checklist

[x] Commit sequence broadly makes sense and commits have useful messages
[x] Code is formatted according to CONTRIBUTING.md
[x] Self-reviewed the diff

ashisherc commented 6 days ago

thank you!