Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Over Coq4Eclipse

Coq4Eclipse is een plugin voor het Eclipse Platform die een interface biedt aan de Coq Proof Assistant. Het zal de gebruiker ondersteunen met syntaxismarkering, zoekfaciliteiten, wiskundige symbolen, pretty-print, enz.

Gerelateerde programma's

  • Zinuc Gratis

    Ben je altijd moe van het zoeken naar de Windows-rekenmachine van een rare locatie van je pc? Zinuc is een web alleen, zeer eenvoudig, maar krachtige rekenmachine. Je hoeft niets te downloaden om het te gebruiken. Bekijk de w

  • RouteCalc Gratis

    Command Line Route calculator voor Luchtvaart. Ingangen: Cruise Speed, Fuel Burn, Wind Direction/Speed, Segment Distance. Uitgangen: Vluchtlager, grondsnelheid, segmenttijd, brandstofverbranding. Behandelt meerdere segmenten

  • Auditory Modelling Toolbox Gratis

    De Auditory Modelling Toolbox is een gemeenschapsinspanning om een eenvoudige en goed geteste gereedschapskist te bouwen voor het doen van auditieve modellering in Matlab, Octave en C.

  • sigTOOL Gratis

    sigTOOL biedt een door de gebruiker uitschuifbare signaalanalyseomgeving voor het verwerken van elektrofysiologische gegevens binnen MATLAB. Neuron spike-train, + spectrale en tijd-domein analyses zijn ingebouwd. Zie http://d

  • Periodic Table Droid Gratis proefperiode

    De meest complete, aanpasbare, Chemie Periodiek Systeem van Elementen beschikbaar voor je Android.Belangrijkste kenmerken zijn:• 118 elementen• Direct zoeken!: Zoek elementen op naam, symbool of getal. Schr

  • A Hyperspectral Image Reader Gratis

    Dit is C++ code om te lezen in ENVI Hyperspectral Images

  • Louisiana Criminal Law Gratis

    Titel 14 van de Louisiana Herziene Statuten, Strafrecht, voor DroidLaw!Titel 14 van de Louisiana Revised Statuten, Strafrecht, voor DroidLaw.DIT IS EEN ADD-ON VOOR DROIDLAW. U KUNT' T OPEN DEZE APP. JE MOET DRO

  • GMAT Maths Preview Gratis

    Wilt u uw kans op succes in GMAT of GRE vergroten? Dan is dit een perfecte app voor jou. Deze app leert je praktische tips om wiskundige berekeningen sneller uit te voeren. U meerdere 97 en 93 en delen het resulterende aantal

  • Quran Indonesia mp3+trnslation Gratis

    Luister naar volledige heilige Koran in Indonesische vertaling. Onze app speelt audiobestanden af in een van je favoriete reciter1. Hiermee u volledige Quran downloaden of u enkel bestand afzonderlijk in één keer downloaden m

  • ProteinFinder database search method Gratis

    ProteinFinder - een C-taal parallelle computing engine voor tandem eiwit massa spectrometrie database zoeken. ProteinFinder is gekoppeld aan de MySQL relationele database MassSpec die de experimentele gegevens, voorspelde da