coq (x86_64)

パッケージ数: 3。

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