dockerfile.run – coqide.byte

coqide.byte

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

Raspbian

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

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