Este é o comando coqtop.opt 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.opt - O nível superior Coq de código nativo
SINOPSE
coqopt.opt [ opções ] [ lima ]
DESCRIÇÃO
coqopt.opt é a versão de código nativo do Coq. Não deve ser chamado diretamente, mas apenas
by coqueteleira e coqc
Use coqtop.opt online usando serviços onworks.net
