Este é o comando coq_makefile 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
coq_makefile - O gerador de makefile Coq Proof Assistant
SINOPSE
coq_makefile [ argumentos ]
DESCRIÇÃO
coq_makefile é um gerador de makefile para desenvolvimentos à prova de Coq.
OPÇÕES
-h Fornecerá uma descrição de toda a lista de opções do coq_makefile.
Use coq_makefile online usando serviços onworks.net
