plutus icon indicating copy to clipboard operation
plutus copied to clipboard
verified publisher icon IntersectMBO

ForceDelay Extra Proofs

Open ramsay-t opened this issue 1 year ago • 0 comments

Phil Wadler suggests some proofs to show the correspondence of the decidable definition of FD to the more clearly semantically valid pureFD.

ramsay-t avatar Oct 01 '24 12:10 ramsay-t