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
SLFO 1.2
Ei-tuetut jakelut
Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.