application image

CoqIDE Proof Assistant

Licenses: G P L
Version: 8.13.2-2
Download Size: 2500882
https://coq.inria.fr/

Installing:
pamac install coqide

Removing:
pamac remove coqide

GTK-based graphical interface for the Coq proof assistant

Installation via
Software Center
or Command line