libtptp (cargo): Thousands of Problems for Theorem Provers (TPTP) Library
Keywords: automated|cpp-library|cpp11|libtptp|proving|theorem