Coq IDE
Categorías: 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 hay ningún paquete oficial disponible para openSUSE Leap 15.6Distribuciones
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Distribuciones sin soporte
Las siguientes distribuciones no tienen soporte oficial. Use estos paquetes por su cuenta y riesgo.