Il s'agit de la commande coq_makefile qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
coq_makefile - Le générateur de makefile Coq Proof Assistant
SYNOPSIS
coq_makefile [ arguments ]
DESCRIPTION
coq_makefile est un générateur de makefile pour les développements de preuves Coq.
OPTIONS
-h Vous donnera une description de toute la liste des options de coq_makefile.
Utilisez coq_makefile en ligne en utilisant les services onworks.net