tptp (npm): Connecting to the TPTP Problem Library
Keywords: TPTP|ATP|theorem proving|automated reasoning