prover9-tptp_to_ladr

Applications

Fedora
RUN dnf install -y prover9-apps
click the source code to copy install prover9-tptp_to_ladr on any operating system with command-not-found.com