Coq IDE
Kategorijos: 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.
Nėra oficialių „openSUSE Leap 15.6“ paketųPlatinamieji paketai
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Nepalaikomos platinamųjų paketų versijos
Šie platinamieji paketai nėra oficialiai palaikomi. Už šių paketų naudojimą atsakomybę turėtumėte prisiimti patys.