Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Coqtail

Coqtail

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎2 ‎Votes
Télécharger

COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail est une bibliothèque de preuves mathématiques utilisant l’assistant de preuve Coq.

historique de la version

  • Version files posté sur 2010-04-07
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-04-07

Détails du programme

Programmes connexes

  • Triplets / Triple Gratuit

    Ce logiciel recherche tous les triplets pythagoriciens que l’on peut ancien avec un nombre allant de 1 999999999999. / Ce logiciel recherche tout le triple Pythagogore que nous pouvons former avec un nombre allant de 1 à 9999

  • FunnyRobot Platform Gratuit

    Le projet FunnyRobot conçoit un contrôleur robot éducatif qui est programmable via USB. Le matériel et le logiciel sont configurables et extensibles. Les utilisateurs peuvent créer des programmes avec une bibliothèque C++ et

  • Merriam-Webster s Unabridged Essai gratuit

    Merriam-Webster’s Third New International Dictionary, Unabridged - le dictionnaire le plus complet des États-Unis.------------Détails du dictionnaire:• Plus de 257 244 entrées et 700 000 définitions• 143

  • Madagascar Gratuit

    Madagascar est un logiciel pour le traitement géophysique des données et les expériences numériques reproductibles. La mission de l’ensemble est de fournir un environnement pratique pour les chercheurs travaillant avec l’imag

  • Parable NKJV Gratuit

    GRATUIT: Tout l’Évangile de Jean (2 heures, 14 minutes) mettant en vedette Lou Gossett, Jr. comme Jean. À tout moment, vous pouvez acheter l’audio complet pour la parabole NKJV Old & New Testament ou vous pouvez acheter l

  • LibreEngineering Gratuit

    LibreEngineering - suite d’instruments, électriques, mécaniques, de calculs d’ingénierie des procédés et de programmes de conception et d’autres outils. Sous licence GPL3. Écrit en Python avec boîte à outils Qt.

  • AVR Attiny26 Visual Programmer Gratuit

    Programmeur gui visuel pour microcontrôleur Attiny26 pour l’assemblage de sortie, l’assemblage en hexedecimal et le téléchargement sur le matériel avec une interface intuitive (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Gratuit

    -------------------Remplissez gentiment ce sondage pour nous aider à améliorer cette application.http://goo.gl/xwyyCX-------------------Application parfaite de construction de vocab pour la préparation de GRE, CAT,

  • Asmaul Husna Gratuit

    Les 99 Noms de Dieu ou 99 Noms d’Allah sont les Noms de Dieu par lesquels les musulmans considèrent Dieu (Allah) et qui sont décrits dans le Coran, et la Sunna, entre autres endroits.

  • Doxygen filters Gratuit

    Filtres Doxygen pour ces langages de programmation : R de GNU, q de kx.com, MatLab de MathWorks. Ces programmes sont implémentés en C++ à l’aide de Flex++. Ils fournissent des sources complètes en ligne et pas seulement des d