Sadržaj

• Zahtjevi sustava
• Vrste datoteka

Prema našem registru, Coq može otvoriti dolje navedene datoteke. Moguće je da Coq može pretvoriti i između navedenih formata, priručnik aplikacije može pružiti informacije o tome.

Zahtjevi sustava

Precizni sistemski zahtjevi za aplikaciju Coq uključeni su u priručnik za softver. Priručnik u elektroničkom obliku možete pronaći i na web mjestu Coq. Ne možemo pružiti podršku za ovaj proizvod, pa se u slučaju problema obratite programeru Coq!

Važno! Na internetu ima puno opasnog sadržaja, pa na svoje računalo trebate instalirati samo programe koji dolaze iz pouzdanog izvora! Osobne podatke dovodite u opasnost otvaranjem datoteka koje dolaze iz nepouzdanog izvora.

Web stranica Coq

Redovito provjeravamo veze na našim stranicama, ali moguće je da veza više ne funkcionira ili da ne vodi na pravu stranicu. Ako pronađete neispravnu vezu, kontaktirajte nas na našu e-adresu [email protected]!

Vrste datoteka

Trenutno su u našoj bazi podataka 4 proširenja datoteke pridružena aplikaciji Coq.

.vo

Objekt sastavljen od Coq-a

.v

Izvorni kod Coq

.vio

Coq srednji objekt

.glob

Podaci globalizacije Coq-a

Ažuriranja softvera važna su za vašu digitalnu sigurnost i cyber sigurnost. Nažalost, jednostavna instalacija antivirusnog softvera nije dovoljna da zaštiti vas i vaše uređaje.