coq-tex

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

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