Arch Linux
ホーム
パッケージ
フォーラム
ArchWiki
Slack
AUR
ダウンロード
coq (x86_64)
パッケージ数: 3。
アーキテクチャ
リポジトリ
名前
バージョン
説明
最終更新
x86_64
extra
coq
8.20.0-1
形式的証明支援システム
2024-10-14
x86_64
extra
coq-doc
8.20.0-1
Coq 証明アシスタントの HTML と PDF ドキュメント
2024-10-14
x86_64
extra
coqide
8.20.0-1
Coq 証明アシスタントの GTK ベースのグラフィカルインターフェイス
2024-10-14