package imagecoq

Description

Formal proof management system

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

Installing:
pamac install coq

Removing:
pamac remove coq