coq-ide
IDE for The Coq Proof Assistant
The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
openSUSE Leap 16.0 に対する公式のパッケージはありませんディストリビューション
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO 1.2
openSUSE Backports for SLE 15 SP7
非公式のディストリビューション
下記のディストリビューションは、公式にはサポートされていないものです。これらのパッケージは自己責任でお使いください。