6 External resources

• http://www.cs.cornell.edu/courses/cs312/2001sp/handouts/induct-examples.html: this is a list of examples. Some of the examples are quite out of the scope of this module, but it is a good sampler of proof by induction.