Library to access different theorem provers
Just a simple python library to access multiple theorem provers through a common interface.
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.