Coq IDE
Categorias: 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.
Não existe pacote oficial disponível para openSUSE Leap 15.6Distribuições
openSUSE Tumbleweed
openSUSE Leap 15.6
Distribuições não suportadas
As distribuições a seguir não são oficialmente suportadas. Use esses pacotes por sua conta e risco.