Content









    How do I Use Kumo?

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.

    How Can I use Kumo?