Coqtail
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
Circa Coqtail
Coqtail è una libreria di dimostrazioni matematiche che utilizza l'assistente di dimostrazione Coq.
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