nltk.TableauProverCommand.get_prover

TableauProverCommand.get_prover()