application image

CoqIDE Proof Assistant

Licenses: GPL
Version: 8.11.0-1

Installing:
pamac install coqide
pacman -S coqide

Removing:
pamac remove coqide
pacman -R coqide

GTK-based graphical interface for the Coq proof assistant

Installation via
Software Center
Pamac or
Command line