provers (pypi): Library to access different theorem provers
Keywords: tptp|logic|theorem|prover