Coq IDE
Categorieën: 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.
Er is geen officieel pakket voor openSUSE Leap 15.6 beschikbaarDistributies
openSUSE Tumbleweed
openSUSE Leap 15.6
Niet-ondersteunde distributies
Volgende distributies worden niet officieel ondersteund. Gebruik deze pakketten op eigen risico.