Proving Theorems by Folding/Unfolding
Abstract
Proofs techniques can be seen as simplification methods, i.e. formulas are transformed into trivial ones, true. Unfortunately, we are sometimes faced with an unprovable formula because no induction hypothesis can be applied. In this paper, we propose a method that can allows us to apply induction hypothesis.