IJCAR-04: The Automation of Proof by Mathematical Induction

• Tutorial Slides (plus condensed version for printing).

• Practical exercise using XBarnacle.

• Practical exercise using IsaPlanner.

• Background Reading on Proof Plans.

• Background Reading on the Automation of Inductive Proof.

• Forthcoming book on Rippling.