dockerfile.run

coqide

proof assistant for higher-order logic (gtk interface)

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm coqide

Kali Linux

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

Fedora

RUN dnf install -y coqide

Raspbian

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

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