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
不受支持的发行版
下列发行版未被官方支持。使用这些软件包需要您自担风险。