nltk.TableauProverCommand.get_prover
====================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.get_prover