prover9-ladr_to_tptp
Applications
Install
- All systems
-
curl cmd.cat/prover9-ladr_to_tptp.sh
- Fedora
-
dnf install prover9-apps
- Dockerfile
- dockerfile.run/prover9-ladr_to_tptp
Applications
curl cmd.cat/prover9-ladr_to_tptp.sh
dnf install prover9-apps