FROM coqorg/coq:8.15.2
WORKDIR /
COPY --chown=coq . formal_proof
WORKDIR formal_proof
USER coq:coq
RUN make clean && make -j4
