nltk.ParallelProverBuilderCommand.prove
=======================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.prove