Ito ang command na coqtop.opt 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.opt - Ang native-code na Coq toplevel
SINOPSIS
coqopt.opt [ pagpipilian ] [ file ]
DESCRIPTION
coqopt.opt ay ang native-code na bersyon ng Coq. Hindi ito dapat tawaging direkta, ngunit lamang
by coqtop at coqc
Gamitin ang coqtop.opt online gamit ang mga serbisyo ng onworks.net