tptp

Connecting to the TPTP Problem Library

v1.0.1 URL: https://unpkg.com/tptp@1.0.1/index.js

Open Browse Files

TPTP ATP theorem proving automated reasoning