Submit Software
  1. Home
  2. Windows
  3. Other
  4. Coq4Eclipse

Coq4Eclipse

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.

VERSION HISTORY

  • Version N/A posted on 2011-08-07
    Several fixes and updates
  • Version N/A posted on 2011-08-07

Program Details

Related Programs

  • Zinuc Free

    Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages

  • RouteCalc Free

    Command Line Route calculator for Aviation. Inputs: Cruise Speed, Fuel Burn, Wind Direction/Speed, Segment Distance. Outputs: Flight Bearing, Ground Speed, Segment Time, Fuel Burn. Deals with Multiple Segments with variable C

  • Auditory Modelling Toolbox Free

    The Auditory Modelling Toolbox is a community effort to build a simple and well tested toolbox for doing auditory modelling in Matlab, Octave and C.

  • sigTOOL Free

    sigTOOL provides a user-extendable signal analysis environment for processing electrophysiological data within MATLAB. Neuron spike-train, + spectral and time-domain analyses are built in. See http://dx.doi.org/10.1016/j.jneu

  • Periodic Table Droid Free Trial

    The most complete, customizable, Chemistry Periodic Table of Elements available for your Android.Main features are:• 118 elements• Instant search!: Find elements by name, symbol or number. Write just part of element

  • A Hyperspectral Image Reader Free

    This is C++ code to read in ENVI Hyperspectral Images

  • Louisiana Criminal Law Free

    Title 14 of the Louisiana Revised Statutes, Criminal Law, for DroidLaw!Title 14 of the Louisiana Revised Statutes, Criminal Law, for DroidLaw. THIS IS AN ADD-ON FO

  • GMAT Maths Preview Free

    Do you want to boost your chance of success in GMAT or GRE? Then this is a perfect app for you. This app teaches you practical tips to perform math calculations faster. You will be able to multiple 97 and 93 and divide the re

  • Quran Indonesia mp3+trnslation Free

    Listen to complete holy Quran in Indonesian translation.Our app play audio files in one of your favorite reciter1.Allows you to download complete Quran or you can download single file individually in one go by using menu butt

  • ProteinFinder database search method Free

    ProteinFinder - a C language parallel computing engine for tandem protein mass spectrometry database search. ProteinFinder is interfaced with MySQL relational database MassSpec that hosts the experimental data, predicted dat