Group Details - coq (x86_64)

3 packages found.

Arch Repo Name Version Description Last Updated Flag Date
x86_64 Extra coq 8.16.1-1 Formal proof management system 2023-05-19 2023-05-20
x86_64 Extra coq-doc 8.16.1-1 HTML and PDF documentation for the Coq proof assistant 2023-05-19 2023-05-20
x86_64 Extra coqide 8.16.1-1 GTK-based graphical interface for the Coq proof assistant 2023-05-19 2023-05-20