coq (x86_64)

パッケージ数: 3。

アーキテクチャリポジトリ名前バージョン説明最終更新
x86_64communitycoq8.11.0-1Formal proof management system2020-01-29
x86_64communitycoq-doc8.11.0-1HTML and PDF documentation for the Coq proof assistant2020-01-29
x86_64communitycoqide8.11.0-1GTK-based graphical interface for the Coq proof assistant2020-01-29