dockerfile.run – coq-tex

coq-tex

proof assistant for higher-order logic (toplevel and compiler)

Debian

RUN apt-get update && \
    apt-get install -y coq

Ubuntu

RUN apt-get update && \
    apt-get install -y coq

Arch Linux

RUN pacman -S --noconfirm coq

Kali Linux

RUN apt-get update && \
    apt-get install -y coq

Fedora

RUN dnf install -y coq

Raspbian

RUN apt-get update && \
    apt-get install -y coq

click the source code to copy install coq-tex on any operating system with command-not-found.com