Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur Coq4Eclipse

Coq4Eclipse est un plugin pour la plate-forme Eclipse qui fournit une interface à l’assistant Coq Proof. Il prendra en charge l’utilisateur avec la mise en surbrillance syntaxe, les installations de recherche, les symboles mathématiques, pretty-print, etc.

Programmes connexes

  • Zinuc Gratuit

    Êtes-vous toujours fatigué de la recherche de la calculatrice Windows à partir d’un endroit bizarre de votre PC? Zinuc est une calculatrice web seulement, très simple, mais puissante. Vous n’avez rien à télécharger pour l’uti

  • RouteCalc Gratuit

    Calculateur d’itinéraire de ligne de commande pour l’aviation. Entrées : Vitesse de croisière, consommation de carburant, direction/vitesse du vent, distance du segment. Sorties : Roulement de vol, vitesse au sol, temps de se

  • Auditory Modelling Toolbox Gratuit

    La boîte à outils de modélisation auditive est un effort communautaire visant à construire une boîte à outils simple et bien testée pour la modélisation auditive dans Matlab, Octave et C.

  • sigTOOL Gratuit

    sigTOOL fournit un environnement d’analyse de signaux extensible par l’utilisateur pour le traitement des données électrophysiologiques au sein de MATLAB. Neuron spike-train, + spectral et les analyses de domaine du temps son

  • Periodic Table Droid Essai gratuit

    Le tableau périodique des éléments de chimie le plus complet, personnalisable, disponible pour votre Android.Les principales caractéristiques sont les suivantes:• 118 éléments• Recherche instantanée!: Trouv

  • A Hyperspectral Image Reader Gratuit

    C’est le code C++ à lire dans ENVI Hyperspectral Images

  • Louisiana Criminal Law Gratuit

    Titre 14 des statuts révisés de la Louisiane, droit pénal, pour DroidLaw!Titre 14 des statuts révisés de la Louisiane, droit pénal, pour DroidLaw.IL S’AGIT D’UN ADD-ON POUR DROIDLAW. VOUS CAN' T OUVREZ CETTE APP

  • GMAT Maths Preview Gratuit

    Voulez-vous augmenter vos chances de succès en GMAT ou GRE? Ensuite, c’est une application parfaite pour vous. Cette application vous enseigne des conseils pratiques pour effectuer des calculs mathématiques plus rapidement. V

  • Quran Indonesia mp3+trnslation Gratuit

    Écoutez le Saint Coran complet dans la traduction indonésienne. Notre application lire des fichiers audio dans l’un de vos récitants préférés1. Vous permet de télécharger le Coran complet ou vous pouvez télécharger un seul fi

  • ProteinFinder database search method Gratuit

    ProteinFinder - un moteur informatique parallèle en langage C pour la recherche de base de données de spectrométrie de masse protéique tandem. ProteinFinder est interface avec la base de données relationnelle MassSpec de MyS