icc.atp (pypi): Automatic Theorem Proving wrapper for Python
Keywords: automatic|theorem|proving|ATP|proof|first-order|logics