FROM python:3.8
COPY theorem_prover.py /
CMD ["/usr/local/bin/python3", "-u", "/theorem_prover.py"]
