dfg2otter.pl

An automated theorem prover for first-order logic with equality

Debian Debian
RUN apt-get update && \ apt-get install -y spass
Ubuntu
RUN apt-get update && \ apt-get install -y spass
Raspbian
RUN apt-get update && \ apt-get install -y spass
click the source code to copy install dfg2otter.pl on any operating system with command-not-found.com