InglésFrancésEspañol

Ad


icono de página de OnWorks

coq_makefile: en línea en la nube

Ejecute coq_makefile en el proveedor de alojamiento gratuito de OnWorks sobre Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS

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


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

Comandos de Linux

Ad