nltk.Prover9Command.get_prover
==============================

.. currentmodule:: nltk

.. automethod:: Prover9Command.get_prover