nltk.ParallelProverBuilderCommand.proof

ParallelProverBuilderCommand.proof(simplify=True)

Return the proof string :param simplify: bool simplify the proof? :return: str