nltk.ParallelProverBuilderCommand.proof
=======================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.proof