coqide.byte

proof assistant for higher-order logic (gtk interface)

Debian Debian
RUN apt-get update && \ apt-get install -y coqide
Ubuntu
RUN apt-get update && \ apt-get install -y coqide
Arch Arch Linux
RUN pacman -S --noconfirm coqide
image/svg+xml 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