package imagecoqide

Description

GTK-based graphical interface for the Coq proof assistant

add Licenses: GPL
Version: 8.14.1-2
Download Size: 2249476
https://coq.inria.fr/

Installing:
pamac install coqide

Removing:
pamac remove coqide

menu close