IntersectMBO / IntersectMBO/formal-ledger-specifications
Export equivalence relation for conformance testing
Open
conformance
enhancement
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The proof in #941 uses a custom equivalence relation. If we exported this and adjusted conformance testing we could use this to solve #929
Contributor guide
Assessment
This issue has not been assessed yet.