Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Coq4Eclipse

Coq4Eclipse

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Coq4Eclipse è un plugin per eclipse platform che fornisce un'interfaccia all'Assistente prove Coq. Supporterà l'utente con evidenziazione della sintassi, strutture di ricerca, simboli matematici, pretty-print, ecc.

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-07
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-08-07

Dettagli del programma

Programmi correlati

  • Zinuc Gratuito

    Sei sempre stanco di cercare la calcolatrice di Windows da qualche strana posizione dal tuo PC? Zinuc è una calcolatrice solo web, molto semplice, ma potente. Non è necessario scaricare nulla per usarlo. Dai un'occhiata alle

  • RouteCalc Gratuito

    Calcolatore della linea di comando per l'aviazione. Ingressi: velocità di crociera, bruciatura del carburante, direzione / velocità del vento, distanza del segmento. Uscite: cuscinetto di volo, velocità del suolo, tempo di se

  • Auditory Modelling Toolbox Gratuito

    La Toolbox di modellazione udibile è uno sforzo della comunità per costruire una cassetta degli attrezzi semplice e ben testata per fare modellazione uditivo in Matlab, Octave e C.

  • sigTOOL Gratuito

    sigTOOL fornisce un ambiente di analisi del segnale estensibile dall'utente per l'elaborazione di dati elettrofisiologici all'interno di MATLAB. Neuron spike-train, + analisi spettrali e del dominio del tempo sono integrate.

  • Periodic Table Droid Prova gratuita

    La tabella periodica degli elementi più completa, personalizzabile e chimica disponibile per il tuo Android.Le caratteristiche principali sono:• 118 elementi• Ricerca immediata!: trova elementi per nome, si

  • A Hyperspectral Image Reader Gratuito

    Questo è il codice C++ da leggere in ENVI Hyperspectral Images

  • Louisiana Criminal Law Gratuito

    Titolo 14 della Louisiana Revised Statutes, Criminal Law, for DroidLaw!Titolo 14 della Louisiana Revised Statutes, Criminal Law, for DroidLaw.QUESTO È UN COMPONENTE AGGIUNTIVO PER DROIDLAW. &È possibile #39; T APRIR

  • GMAT Maths Preview Gratuito

    Vuoi aumentare le tue possibilità di successo in GMAT o GRE? Quindi questa è un'app perfetta per te. Questa app ti insegna suggerimenti pratici per eseguire calcoli matematici più velocemente. Sarai in grado di multipli 97 e

  • Quran Indonesia mp3+trnslation Gratuito

    Ascolta il sacro Corano completo nella traduzione indonesiana. La nostra app riproduci file audio in uno dei tuoi reciter preferiti1. Consente di scaricare il Corano completo oppure è possibile scaricare un singolo file singo

  • ProteinFinder database search method Gratuito

    ProteinFinder - un motore di calcolo parallelo in linguaggio C per la ricerca di database di spettrometria di massa proteica tandem. ProteinFinder è interfacciato con il database relazionale MySQL MassSpec che ospita i dati