|
|
| step 1: |
write a specification for your problem in BOBJ. |
| step 2: |
write a Duck script, including your proof goal, specification,
important proof steps and the location of explanation files.
let's assume that your Duck script has the name
myScript.duck
|
| step 3: |
run kumo with the command:
kumo myScript.
|
|
How do I Write Duck Proof Script?
|
First read some examples, which have links to further tutorials and
explanations.
|
