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