coq (x86_64)

パッケージ数: 3。

アーキテクチャリポジトリ名前バージョン説明最終更新
x86_64extracoq8.20.1-2形式的証明支援システム2025-01-21
x86_64extracoq-doc8.20.1-2Coq 証明アシスタントの HTML と PDF ドキュメント2025-01-21
x86_64extracoqide8.20.1-2Coq 証明アシスタントの GTK ベースのグラフィカルインターフェイス2025-01-21