issues
search
input-output-hk
/
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Apache License 2.0
172
stars
43
forks
source link
PLT-3584: Add the CFD to the examples suite
#191
Closed
yveshauser
closed
1 year ago
yveshauser
commented
1 year ago
This PR introduces
the CFD contract in Isabelle
proofs a given execution path to be as expected
exports the contract together with the example
unit test for extracted CFD example
This PR introduces