Group Details - coq (armv7h)

3 packages found.

Arch Repo Name Version Description Last Updated Flag Date
armv7h Community coq 8.13.1-1 Formal proof management system 2021-03-05
armv7h Community coq-doc 8.13.1-1 HTML and PDF documentation for the Coq proof assistant 2021-03-05
armv7h Community coqide 8.13.1-1 GTK-based graphical interface for the Coq proof assistant 2021-03-05