Coq IDE
Catégories: 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.
Il n'y a pas de paquet officiel disponible pour openSUSE Leap 15.6Distributions
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
openSUSE Backports for SLE 15 SP7
SUSE SLE-16 (in development)
Distributions non supportées
Les distributions suivantes ne sont pas officiellement supportées. À utiliser à vos risques et périls.