IntersectMBO / IntersectMBO/ouroboros-consensus
[FEAT] - Adapt the formal spec to include Linear Leios
Open
enhancement
formal-spec
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
We shall adapt the formal spec to include the changes related to Ouroboros Linear Leios as described in [CIP-164](https://cips.cardano.org/cip/CIP-164#ranking-block-cddl).
Contributor guide
Assessment
This issue has not been assessed yet.