Coq IDE
Categorie: 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.
Non è disponibile alcun pacchetto ufficiale per openSUSE Leap 15.6Distribuzioni
openSUSE Tumbleweed
openSUSE Leap 15.6
Distribuzioni non supportate
Le seguenti distribuzioni non sono ufficialmente supportate. Usare questi pacchetti a proprio rischio.