issues
search
IntersectMBO
/
formal-ledger-specifications
Formal specifications of the cardano ledger
Apache License 2.0
32
stars
13
forks
source link
Explain how deposits are transitioned into the new system
#459
Closed
WhatisRT
closed
3 weeks ago
WhatisRT
commented
4 weeks ago
Description
Closes #452.
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
Closes #452.
Checklist