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.
There is no official package available for openSUSE Leap 15.6Dystrybucje
openSUSE Tumbleweed
openSUSE Leap 15.6
Niewspierane dystrybucje
Podane tu dystrybucje nie są oficjalnie wspierane. Używaj te paczki na własne ryzyko.