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
openSUSE Backports for SLE 15 SP7
SUSE SLE-16 (in development)
असमर्थित वितरण
निम्नलिखित वितरण आधिकारिक रूप से समर्थित नहीं हैं। इन पैकेज के उपयोग/प्रभाव का उत्तरदायित्व आप पर है।