Coq IDE
Κατηγορίες: 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.
Δεν υπάρχει επίσημο διαθέσιμο πακέτο για openSUSE Leap 15.6Διανομές
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Μη υποστηριζόμενες διανομές
Οι παρακάτω διανομές δεν υποστηρίζονται επίσημα. Χρησιμοποιήστε αυτά τα πακέτα με δικιά σας ευθύνη.