Coq IDE
Kategorie: 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.
Není dostupný žádný oficiální balíček pro openSUSE Leap 15.6Distribuce
openSUSE Tumbleweed
openSUSE Leap 15.6
Nepodporované distribuce
Následující distribuce nejsou oficiálně podporovány. Použijte tyto balíčky na vlastní nebezpečí.