Wolfram|Alpha has a Mathematical Induction-Based Proof Generator Posted on July 14, 2016 by jgordon Link.