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