coq (x86_64)

パッケージ数: 3。

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