Este es el comando coqtop.byte que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
coqtop.byte - El nivel superior del código de bytes Coq
SINOPSIS
coqtop.byte [ opciones ] [ presentar ]
DESCRIPCIÓN
coqopt.byte es la versión de código de bytes de Coq. No debe ser llamado directamente, sino solo por
coqueta y coqc
Use coqtop.byte en línea usando los servicios de onworks.net