nltk.TableauProverCommand.decorate_proof
========================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.decorate_proof