coq-ide
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 16.0Jakelut
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO 1.2
openSUSE Backports for SLE 15 SP7
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.