IntersectMBO / IntersectMBO/formal-ledger-specifications
Upstream lemmas from `Ledger.Conway.Conformance.Equivalence.Map`
Open
good first issue
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
That file has lots of lemmas that should live in https://github.com/input-output-hk/agda-sets.
Contributor guide
Assessment
This issue has not been assessed yet.