IntersectMBO / IntersectMBO/formal-ledger-specifications
Create properties of the governance system
Open
era: conway
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This is the companion to https://github.com/input-output-hk/cardano-ledger/issues/3149.
- [x] #413
- [x] #414
- [ ] #415
- [ ] #412
- [x] #417
Contributor guide
Assessment
This issue has not been assessed yet.