Download JAR files tagged by tptp with all dependencies
tptp-grpc from group io.github.inpefess (version 0.0.11)
Server parsing TPTP problems to protobuf objects
0 downloads
Artifact tptp-grpc
Group io.github.inpefess
Version 0.0.11
Last update 22. September 2023
Organization not specified
URL https://github.com/inpefess/tptp-grpc
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.inpefess
Version 0.0.11
Last update 22. September 2023
Organization not specified
URL https://github.com/inpefess/tptp-grpc
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
tptpgrpc from group io.github.inpefess (version 0.0.7)
Server parsing TPTP problems to protobuf objects
Artifact tptpgrpc
Group io.github.inpefess
Version 0.0.7
Last update 15. June 2023
Organization not specified
URL https://github.com/inpefess/tptp-grpc
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.github.inpefess
Version 0.0.7
Last update 15. June 2023
Organization not specified
URL https://github.com/inpefess/tptp-grpc
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
scala-tptp-parser_2.13 from group io.github.leoprover (version 1.7.1)
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.
Group: io.github.leoprover Artifact: scala-tptp-parser_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact scala-tptp-parser_2.13
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.leoprover
Version 1.7.1
Last update 25. March 2023
Organization io.github.leoprover
URL https://github.com/leoprover/scala-tptp-parser
License MIT
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 1 from 1 (items total 3)