Este es el comando coqtop.opt 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.opt: el nivel superior de Coq de código nativo
SINOPSIS
coqopt.opt [ opciones ] [ presentar ]
DESCRIPCIÓN
coqopt.opt es la versión de código nativo de Coq. No debe llamarse directamente, sino solo
by coqueta y coqc
Utilice coqtop.opt en línea utilizando los servicios de onworks.net
