nltk.ParallelProverBuilderCommand.decorate_proof¶

ParallelProverBuilderCommand.decorate_proof(proof_string, simplify=True)¶

Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str