Download tptpgrpc JAR file with all 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!
Page 1 from 1 (items total 1)