Group Details - coq (x86_64)

3 packages found.

Arch Repo Name Version Description Last Updated Flag Date
x86_64 Community coq 8.8.1-3 Formal proof management system 2018-08-14
x86_64 Community coq-doc 8.8.1-3 HTML and PDF documentation for the Coq proof assistant 2018-08-14
x86_64 Community coqide 8.8.1-3 GTK-based graphical interface for the Coq proof assistant 2018-08-14