Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Coqtail

Coqtail

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎2 ‎Voti
Scaricare

Coqtail è una libreria di dimostrazioni matematiche che utilizza l'assistente di dimostrazione Coq.

cronologia delle versioni

  • Versione files pubblicato il 2010-04-07
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-04-07

Dettagli del programma

Programmi correlati

  • Triplets / Triple Gratuito

    Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 1 9999999999. / Questo software cerca tutta la tripla pitagorici che possiamo formare con un numero che va dal 1 al 99999999

  • FunnyRobot Platform Gratuito

    Il progetto FunnyRobot progetta un controller robot educativo programmabile tramite USB. Sia l'hardware che il software sono configurabili ed estensibili. Gli utenti possono creare programmi con una libreria C++ ed eseguirli

  • Merriam-Webster s Unabridged Prova gratuita

    Merriam-Webster's Third New International Dictionary, Unabridged - Il dizionario più completo d'America.------------Dettagli dizionario:• Oltre 257.244 voci e 700.000 definizioni• 143.000 etimologie che

  • Madagascar Gratuito

    Madagascar è un pacchetto software per l'elaborazione di dati geofisici e esperimenti numerici riproducibili. La missione del pacchetto è quella di fornire un ambiente conveniente per i ricercatori che lavorano con l'immagine

  • Parable NKJV Gratuito

    GRATIS: L'intero Vangelo di Giovanni (2 ore, 14 minuti) con Lou Gossett Jr. nel cast di John. In qualsiasi momento è possibile acquistare l'audio completo per la parabola NKJV Old & New Testament o è possibile acquistare

  • LibreEngineering Gratuito

    LibreEngineering - suite di programmi di strumentazione, calcolo e progettazione elettrica, meccanica, di ingegneria di processo e altri strumenti. Concesso in licenza sotto GPL3. Scritto in Python con toolkit Qt.

  • AVR Attiny26 Visual Programmer Gratuito

    Programmatore visual GUI per microcontroller Attiny26 per l'output dell'assembly, assemblaggio in esadecimale e caricamento su hardware con un'interfaccia intuitiva (Tekbots-OSU).

  • GRE Mnemonics Wordlist Lite Gratuito

    -------------------Si prega di completare questo sondaggio per aiutarci a migliorare questa app.http://goo.gl/xwyyCX-------------------App perfetta per la costruzione di vocab per la preparazione di GRE, CAT, PSAT,

  • Asmaul Husna Gratuito

    I 99 Nomi di Dio o 99 Nomi di Allah sono i Nomi di Dio con cui i musulmani considerano Dio (Allah) e che sono descritti nel Corano, e Sunnah, tra gli altri luoghi.

  • Doxygen filters Gratuito

    Filtri Doxygen per questi linguaggi di programmazione: R da GNU, q da kx.com, MatLab di MathWorks. Questi programmi sono implementati in C++ utilizzando Flex++. Forniscono sorgenti inline complete non solo definizioni di funz