Ito ang command coqc na maaaring patakbuhin sa OnWorks free hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
coqc - Ang Coq Proof Assistant compiler
SINOPSIS
coqc [ pangkalahatan titi pagpipilian ] file
DESCRIPTION
coqc ay ang batch compiler para sa Coq Proof Assistant. Ang mga pagpipilian ay karaniwang ang
katulad ng coqtopNa (1). file.v ay ang vernacular file upang i-compile. file dapat mabuo lamang
na may mga character na `a` hanggang `Z`, `0`-`9` o `_` at dapat magsimula sa isang titik. Ang
Ang compiler ay gumagawa ng isang object file file.vo.
Para sa interactive na paggamit ng Coq, tingnan coqtopNa (1).
Opsyon
coqc ay isang script na tumatakbo lang coqtop may opsyon -compile tinatanggap nito ang parehong mga pagpipilian
as coqtop.
-mage bin
gamitin bin bilang pinagbabatayan coqtop sa halip na ang default.
-salita
i-print ang pinagsama-samang file sa karaniwang output.
Gumamit ng coqc online gamit ang mga serbisyo ng onworks.net
