coq (x86_64)

パッケージ数: 3。

アーキテクチャリポジトリ名前バージョン説明最終更新
x86_64extracoq8.20.1-2Formal proof management system2025-01-21
x86_64extracoq-doc8.20.1-2HTML and PDF documentation for the Coq proof assistant2025-01-21
x86_64extracoqide8.20.1-2GTK-based graphical interface for the Coq proof assistant2025-01-21