Coq IDE
Kategorier: 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.
Der er ikke nogen officiel pakke tilgængelig til openSUSE Leap 15.6Distributioner
openSUSE Tumbleweed
openSUSE Leap 15.6
Ikke-supporterede distributioner
Der ydes ikke support til følgende distributioner. Brug pakkerne på egen risiko.