ConjectureChecker
ConjectureChecker Documentation