Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Coqtail

Coqtail

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎2 ‎Stemmen
Downloaden

COQ Theoremen, Abstracties and Implementations (bachelor Level) Coqtail is een bibliotheek van wiskundige proefs met behulp van de Coq proof assistant.

versiegeschiedenis

  • Versie files geplaatst op 2010-04-07
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2010-04-07

Programmadetails

Gerelateerde programma's

  • Triplets / Triple Gratis

    Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 19999999. / Deze software zoekt naar alle Pythagorean triple die we kunnen vormen met een nummer gaande van 1 tot 99999999.

  • FunnyRobot Platform Gratis

    Het FunnyRobot project ontwerpt een educatieve robot controller die programmeerbaar is via USB. Zowel de hardware als de software zijn configureerbaar en uitbreekbaar. Gebruikers kunnen programma's bouwen met een C++-biblioth

  • Merriam-Webster s Unabridged Gratis proefperiode

    Merriam-Webster's Third New International Dictionary, Unabridged - Amerika's meest uitgebreide woordenboek.------------Woordenlijst Details:• Meer dan 257.244 inzendingen en 700.000 definities• 143.000 e

  • Madagascar Gratis

    Madagascar is een softwarepakket voor geofysische gegevensverwerking en reproduceerbare numerieke experimenten. De missie van het pakket is om onderzoekers die werken met digitale beeld- en gegevensverwerking een handige omge

  • Parable NKJV Gratis

    GRATIS: Het hele Evangelie van Johannes (2 uur, 14 minuten) met Lou Gossett, Jr. als John. Op elk moment u de volledige audio voor de Paraable NKJV Old & New Testament kopen of u de boeken individueel kopen. De Parabel NK

  • LibreEngineering Gratis

    LibreEngineering - suite van instrumentatie, elektrische, mechanische, proces engineering berekening en ontwerp programma's en andere tools. Licentie onder GPL3. Geschreven in Python met Qt toolkit.

  • AVR Attiny26 Visual Programmer Gratis

    Visual GUI-programmeur voor Attiny26 microcontroller voor het outputeren van assemblage, assembleren in hexedecimalen en uploaden naar hardware met een intuïtieve interface (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Gratis

    -------------------Vul deze enquête in om ons te helpen deze app te verbeteren.http://goo.gl/xwyyCX-------------------Perfecte vocab building app voor prep van GRE, CAT, PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, MCAT,

  • Asmaul Husna Gratis

    De 99 Namen van God of 99 Namen van Allah zijn de Namen van God waardoor Moslims God (Allah) beschouwen en die in Qur'an, en Sunnah, onder andere plaatsen worden beschreven.

  • Doxygen filters Gratis

    Doxygen filters voor deze programmeertalen: R van GNU, q van kx.com, MatLab van MathWorks. Deze programma's worden geïmplementeerd in C++ met Flex++. Ze bieden volledige inline bronnen niet alleen functie definities.