CoqHammer v1.3 tutorial

Tutorial videos are available here.

The tutorial files should be read in the following order:

1. sauto/isort.v

2. sauto/isortb.v

3. sauto/itrev.v

4. sauto/order.v

5. sauto/msort.v

6. sauto/imp.v

7. sauto/exp.v

8. hammer/demo.v

9. hammer/gcd.v

See also a formalisation of various sorting algorithms with sauto: https://github.com/lukaszcz/sortalgs.