Coq IDE
Categories: 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.
No hi ha cap paquet oficial disponible per a openSUSE Leap 15.6Distribucions
openSUSE Tumbleweed
openSUSE Leap 15.6
Distribucions sense suport
Les distribucions següents no tenen suport oficial. Useu aquests paquets segons la vostra responsabilitat.