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 um pacote oficial para openSUSE Leap 15.6Distribuições
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Distribuições não suportadas
As seguintes distribuições não são suportadas oficialmente. Utilize os pacotes por sua conta própria.