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

Coqtail

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎2 ‎votes
Download

COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.

VERSION HISTORY

  • Version files posted on 2010-04-07
    Several fixes and updates
  • Version N/A posted on 2010-04-07

Program Details

Related Programs

  • Triplets / Triple Free

    Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 1 99999999. / This software looks for all the Pythagorean triple which we can form with a number going from 1 to 99999999.

  • FunnyRobot Platform Free

    The FunnyRobot project designs an educational robot controller that is programmable via USB. Both the hardware and software are configurable and extensible. Users can build programs with a C++ library and run them under a rea

  • Merriam-Webster s Unabridged Free Trial

    Merriam-Webster’s Third New International Dictionary, Unabridged - America's most comprehensive dictionary.------------Dictionary Details:• Over 257,244 entries and 700,000 definitions• 143,000 etymologies des

  • Madagascar Free

    Madagascar is a software package for geophysical data processing and reproducible numerical experiments. The package mission is to provide a convenient environment for researchers working with digital image and data processin

  • Parable NKJV Free

    FREE: The entire Gospel of John (2 hours, 14 minutes) featuring Lou Gossett, Jr. as John. At anytime you can purchase the complete audio for the Parable NKJV Old & New Testament or you may purchase the books individually.

  • LibreEngineering Free

    LibreEngineering - suite of instrumentation, electrical, mechanical, process engineering calculation and design programs and other tools. Licensed under GPL3. Written in Python with Qt toolkit.

  • AVR Attiny26 Visual Programmer Free

    Visual GUI programmer for Attiny26 microcontroller for outputting assembly, assembling into hexedecimal and uploading to hardware with an intuitive interface (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Free

    -------------------Kindly complete this survey to help us improve this app.http://goo.gl/xwyyCX-------------------Perfect vocab building app for prep of GRE, CAT ,PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, MCAT, TOEFL, IELTS, PCAT

  • Asmaul Husna Free

    The 99 Names of God or 99 Names of Allah are the Names of God by which Muslims regard God (Allah) and which are described in the Qur'an, and Sunnah, amongst other places.

  • Doxygen filters Free

    Doxygen filters for these programming languages: R from GNU, q from kx.com, MatLab from MathWorks. These programs are implemented in C++ using Flex++. They provide full inline sources not just function definitions.