IntersectMBO / IntersectMBO/formal-ledger-specifications
`Anchor`s aren't preserved under bisimulation
Open
era: conway
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This means we could have a version of the spec that omits them & (trivially) prove that it has the same properties.
Contributor guide
Research direction
No files, tests, or entry points are named. Start by locating the Anchor definitions and the bisimulation proofs, then determine whether a specification version omitting Anchors can be compared with the existing one and shown to preserve the same properties.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100