Este es el comando coq_makefile 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
coq_makefile - El generador de archivos MAKE del Asistente de pruebas de Coq
SINOPSIS
coq_makefile [ argumentos ]
DESCRIPCIÓN
coq_makefile es un generador de archivos MAKE para desarrollos a prueba de Coq.
CAMPUS
-h Le dará una descripción de la lista completa de opciones de coq_makefile.
Use coq_makefile en línea usando los servicios de onworks.net