Coq IDE
Категории: ComputerScience Development IDE Math Science
IDE for The Coq Proof Assistant
The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
Для openSUSE Leap 15.6 нет официального пакетаДистрибутивы
openSUSE Tumbleweed
openSUSE Leap 15.6
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.