ladr_to_tptp

the LADR deduction library, miscellaneous applications

Debian Debian
RUN apt-get update && \ apt-get install -y ladr4-apps
Ubuntu
RUN apt-get update && \ apt-get install -y ladr4-apps
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y ladr4-apps
Raspbian
RUN apt-get update && \ apt-get install -y ladr4-apps
click the source code to copy install ladr_to_tptp on any operating system with command-not-found.com