nltk.Prover9Command.proof
=========================

.. currentmodule:: nltk

.. automethod:: Prover9Command.proof