CoqIDE 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