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
不支援的發行版本
下列發行版本並未被官方支援。使用這些套件需要自行承擔風險。