skip to:content package search 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 • 2 years agopublished 1.0.0 2 years 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