A common python interface to multiple theorem proves
Primary LanguagePythonGNU General Public License v3.0GPL-3.0
Just a simple python library to access multiple theorem provers through a common interface.