package imageCoqIDE Proof Assistant

Description

GTK-based graphical interface for the Coq proof assistant

Licenses: GPL
Repository: extra
Compare Version: 8.16.1-1
Download Size: 2.6 MB
https://coq.inria.fr/

Installing:
pamac install coqide

Removing:
pamac remove coqide