issues
search
IntersectMBO
/
formal-ledger-specifications
Formal specifications of the cardano ledger
Apache License 2.0
38
stars
13
forks
source link
Fix Conway PDF not being uploaded
#565
Closed
WhatisRT
closed
2 months ago
WhatisRT
commented
2 months ago
Description
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
Description
Checklist