Coq IDE
Luokat: 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.
Ei virallista pakettia saatavilla: openSUSE Leap 15.6Jakelut
openSUSE Tumbleweed
openSUSE Leap 15.6
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.