IntersectMBO / IntersectMBO/plutus
ForceDelay Extra Proofs
Open
Certifier
Internal
status: triaged
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
Phil Wadler suggests some proofs to show the correspondence of the decidable definition of FD to the more clearly semantically valid pureFD.
Contributor guide
Assessment
This issue has not been assessed yet.