Coq IDE
Kategórie: 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.
Nie je dostupný žiadny oficiálny balík pre openSUSE Leap 15.6Distribúcie
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Nepodporované distribúcie
Nasledujúce distribúcie nie sú oficiálne podporované. Použite tieto balíky na vlastné riziko.