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.
Non hai ningún paquete oficial dispoñíbel para openSUSE Leap 15.6Distribucións
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
openSUSE Backports for SLE 15 SP7
SUSE SLE-16 (in development)
Distribucións non compatíbeis
As seguintes distribucións non teñen mantemento oficial. Use estes paquetes pola súa conta e risco.