nltk.ParallelProverBuilder.prove
================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilder.prove