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
SLFO 1.2
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.