Questo è il comando coqtop.opt 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
coqtop.opt - Il toplevel Coq in codice nativo
SINOSSI
coqopt.opt [ Opzioni ] [ filetto ]
DESCRIZIONE
coqopt.opt è la versione in codice nativo di Coq. Non dovrebbe essere chiamato direttamente, ma solo
by coqtop ed coqc
Usa coqtop.opt online utilizzando i servizi onworks.net