IntersectMBO / IntersectMBO/ouroboros-consensus
[FEAT] - Prove equivalence between CHAIN and CHAINHEAD
Open
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
This issue aims to prove the equivalence of the CHAIN and CHAINHEAD rules, as defined respectively in the Conway Ledger Specification and the Consensus Specification.
Contributor guide
Assessment
This issue has not been assessed yet.