Este é o comando coqtop.byte que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
coqtop.byte - O bytecode Coq de nível superior
SINOPSE
coqtop.byte [ opções ] [ lima ]
DESCRIÇÃO
coqopt.byte é a versão em bytecode do Coq. Não deve ser chamado diretamente, mas apenas por
coqueteleira e coqc
Use coqtop.byte online usando serviços onworks.net