Sisu

• Nõuded süsteemile
• Failitüübid

Meie registri andmetel Coq on võimeline avama allpool loetletud faile. Võimalik, et Coq saab teisendada ka loetletud vormingute vahel, rakenduse käsiraamat annab selle kohta teavet.

Nõuded süsteemile

Coqi rakenduse täpsed süsteeminõuded on toodud tarkvara käsiraamatus. Juhendi leiate elektrooniliselt ka Coqi veebisaidilt. Me ei saa sellele tootele tuge pakkuda, seega pöörduge probleemi korral Coqi arendaja poole!

Tähtis! Internetis on palju ohtlikku sisu, nii et peaksite arvutisse installima ainult usaldusväärsest allikast pärinevad rakendused! Oma isikliku teabe ohustate, kui avate ebausaldusväärsest allikast pärinevad failid.

Coqi veebileht

Kontrollime regulaarselt oma lehtede linke, kuid on võimalik, et link ei tööta enam või see ei vii õigele lehele. Kui leiate vigase lingi, võtke meiega ühendust aadressil [email protected] e-posti aadress!

Failitüübid

Praegu on meie andmebaasis Coq-rakendusega seotud 4 faililaiendit.

.vo

Coqi kompileeritud objekt

.v

Coqi lähtekood

.vio

Coq vaheobjekt

.glob

Coqi üleilmastumise andmed

Tarkvarauuendused on teie digitaalse turvalisuse ja küberturvalisuse jaoks olulised. Kahjuks ei piisa teie ja teie seadmete kaitsmiseks lihtsalt viirusetõrjetarkvara installimisest.