prooftrans
theorem prover and countermodel generator
RUN apt-get update && \
apt-get install -y prover9
RUN apt-get update && \
apt-get install -y prover9
RUN apt-get update && \
apt-get install -y prover9
RUN dnf install -y prover9
RUN apt-get update && \
apt-get install -y prover9