isofilter0

theorem prover and countermodel generator

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