Skip to content
Sections
>> Trisquel >> パッケージ >> etiona >> virtual >> coq-8.6+4.05.0
[  etiona  ]

仮想パッケージ: coq-8.6+4.05.0

これは仮想パッケージです。仮想パッケージの定義については Debian ポリシーマニュアルを参照してください。

coq-8.6+4.05.0 を提供するパッケージ

coq
proof assistant for higher-order logic (toplevel and compiler)