pyprove

Automated Theorem Proving Tools


License
GPL-3.0
Install
pip install pyprove==0.1

Documentation

ATPy

Python Library for ATP Projects.

Quick Install

$ pip install . --user

Developers

$ pip install -e . --user

Credits

Development of this software prototype was supported by:

  • ERC Consolidator grant no. 649043 AI4REASON
  • ERC Starting grant no. 714034 SMART
  • FWF grant P26201
  • Cost Action CA15123 EUTypes