coq (x86_64)
パッケージ数: 3。
アーキテクチャ | リポジトリ | 名前 | バージョン | 説明 | 最終更新 |
---|---|---|---|---|---|
x86_64 | community | coq | 8.16.1-1 | Formal proof management system | 2022-12-06 |
x86_64 | community | coq-doc | 8.16.1-1 | HTML and PDF documentation for the Coq proof assistant | 2022-12-06 |
x86_64 | community | coqide | 8.16.1-1 | GTK-based graphical interface for the Coq proof assistant | 2022-12-06 |