Group Details - coq (i686)

3 packages found.

Arch Repo Name Version Description Last Updated Flag Date
i686 Community coq 8.9.1-1.0 Formal proof management system 2019-06-08
i686 Community coq-doc 8.9.1-1.0 HTML and PDF documentation for the Coq proof assistant 2019-06-08
i686 Community coqide 8.9.1-1.0 GTK-based graphical interface for the Coq proof assistant 2019-06-08