IntersectMBO / IntersectMBO/ouroboros-consensus
[FEAT] - Use the shared Set Theory library in the Agda spec
Open
enhancement
formal-spec
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
Currently, the Agda consensus spec includes its own copy of the code associated to the Set Theory library, as used to be the case also in the Agda ledger spec. Recently, a new repository was created to host the Set Theory library so that it can be re-used in other projects. This issue aims to remove the local copy of the library and use the shared one.
Contributor guide
Assessment
This issue has not been assessed yet.