speculate

Speculate automatically discovers laws about Haskell functions. Give Speculate a bunch of Haskell functions and it will discover laws like: equations, such as id x == x ; inequalities, such as 0 <= x * x ; conditional equations, such as x <= 0 ==> x + abs x == 0 .