prover9-mace4

GUI for Prover9 and Mace4

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