8000 TPTP World · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@TPTPWorld

TPTP World

The TPTP World of Automated Reasoning

Popular repositories Loading

  1. ServiceTools ServiceTools Public

    TPTP World code for manipulating TPTP files of formulae

    C 4 2

  2. SyntaxBNF SyntaxBNF Public

    BNF for the TPTP languages, and parser generator

    C 4 1

  3. NonClassicalLogic NonClassicalLogic Public

    Non-classical logics for the TPTP

    OpenEdge ABL 2

  4. AxiomSelection AxiomSelection Public

    Prolog 1 1

  5. TPTP4X TPTP4X Public

    C 1

  6. IDVDir IDVDir Public

    Python 1 2

Repositories

Showing 10 of 16 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0