Englishfrançaisespagnol

Icône de favori OnWorks

coq_makefile - En ligne dans le Cloud

Exécutez coq_makefile dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

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


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

  • 1
    frapper
    frapper
    Projet de logiciel libre Strikr. Artefacts
    publié sous un « intent based »
    double licence : AGPLv3 (communauté) et
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Télécharger
  • 3
    GIFLIB
    GIFLIB
    giflib est une bibliothèque pour lire et
    écrire des images gif. C'est API et ABI
    compatible avec libungif qui était dans
    large utilisation tandis que la compression LZW
    l'algorithme était...
    Télécharger GIFLIB
  • 4
    Alt+F
    Alt+F
    Alt-F fournit une source libre et ouverte
    firmware alternatif pour le DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F a Samba et NFS ;
    prend en charge ext2/3/4...
    Télécharger Alt-F
  • 5
    usm
    usm
    Usm est un package slackware unifié
    gestionnaire qui gère automatique
    résolution de dépendance. Il unifie
    divers référentiels de packages, y compris
    slackware, slacky, p...
    Télécharger usm
  • 6
    Chart.js
    Chart.js
    Chart.js est une bibliothèque Javascript qui
    permet aux concepteurs et aux développeurs de dessiner
    toutes sortes de graphiques utilisant le HTML5
    élément de toile. Chart js offre un excellent
    déployer ...
    Télécharger Chart.js
  • Plus "

Commandes Linux

Ad