nltk.ParallelProverBuilderCommand.decorate_proof
================================================

.. currentmodule:: nltk

.. automethod:: ParallelProverBuilderCommand.decorate_proof