nltk.ParallelProverBuilderCommand.prove

ParallelProverBuilderCommand.prove(verbose=False)[source]