coq-ide
IDE for The Coq Proof Assistant
The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
Tidak ada paket resmi yang tersedia untuk openSUSE Leap 16.0Distribusi
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO 1.2
openSUSE Backports for SLE 15 SP7
Distribusi yang tak didukung
Distribusi berikut ini tidak didukung secara resmi. Gunakan paket ini dengan risiko Anda sendiri.