Ito ang command na coqtop.byte na maaaring patakbuhin sa OnWorks na libreng 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
coqtop.byte - Ang bytecode Coq toplevel
SINOPSIS
coqtop.byte [ pagpipilian ] [ file ]
DESCRIPTION
coqopt.byte ay ang bytecode na bersyon ng Coq. Hindi ito dapat direktang tawagan, ngunit sa pamamagitan lamang ng
coqtop at coqc
Gamitin ang coqtop.byte online gamit ang mga serbisyo ng onworks.net