IntersectMBO / IntersectMBO/formal-ledger-specifications
Prove that all delegations are to existing pools
Open
era: shelley
property
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Alternatively, it might be better to drop that property for performance reasons. Then we don't need to prove it obviously.
Contributor guide
Assessment
This issue has not been assessed yet.