skip to package search or skip to sign in

❤

Pro
Teams
Pricing
Documentation

npm

Sign Up Sign In

Search results

1 packages found

Sort Packages

Optimal

Popularity

Quality

Maintenance

tptp

Connecting to the TPTP Problem Library

TPTP
ATP
theorem proving
automated reasoning

published 1.0.0 • a year agopublished 1.0.0 a year ago

M

Q

P

Footer

Support

Help
Advisories
Status
Contact npm

Company

About
Blog
Press

Terms & Policies

Policies
Terms of Use
Code of Conduct
Privacy