coq (x86_64)

パッケージ数: 3。

アーキテクチャリポジトリ名前バージョン説明最終更新
x86_64communitycoq8.8.2-2形式的証明支援システム2018-11-28
x86_64communitycoq-doc8.8.2-2Coq 証明アシスタントの HTML と PDF ドキュメント2018-11-28
x86_64communitycoqide8.8.2-2Coq 証明アシスタントの GTK ベースのグラフィカルインターフェイス2018-11-28