Group Details - coq (x86_64)
3 packages found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
x86_64 | Community | coq | 8.12.0-2 | Formal proof management system | 2020-08-29 | 2021-01-13 |
x86_64 | Community | coq-doc | 8.12.0-2 | HTML and PDF documentation for the Coq proof assistant | 2020-08-29 | 2021-01-13 |
x86_64 | Community | coqide | 8.12.0-2 | GTK-based graphical interface for the Coq proof assistant | 2020-08-29 | 2021-01-13 |