Questo è il comando coq_makefile che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
coq_makefile - Il generatore di makefile Coq Proof Assistant
SINOSSI
coq_makefile [ argomenti ]
DESCRIZIONE
coq_makefile è un generatore di makefile per gli sviluppi della prova Coq.
VERSIONI
-h Ti darà una descrizione dell'intero elenco di opzioni di coq_makefile.
Usa coq_makefile online usando i servizi onworks.net