dfg2otter

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 on any operating system with command-not-found.com