Coqtail
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
acerca de Coqtail
COQ Teoremas, Abstracciones e Implementaciones (nivel de bachiller) Coqtail es una biblioteca de pruebas matemáticas utilizando el asistente de prueba de Coq.
Programas relacionados
-
Triplets / Triple Gratis
Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 1 99999999. / Este software busca todo el triple de Pitágoras que podemos formar con un número que va del 1 al 99999999.
-
FunnyRobot Platform Gratis
El proyecto FunnyRobot diseña un controlador de robot educativo que es programable a través de USB. Tanto el hardware como el software son configurables y extensibles. Los usuarios pueden crear programas con una biblioteca de
-
Merriam-Webster s Unabridged Prueba gratuita
Merriam-Webster's Third New International Dictionary, Unabridged - Diccionario más completo de Estados Unidos.------------Detalles del diccionario:• Más de 257.244 entradas y 700.000 definiciones• 143.00
-
Madagascar Gratis
Madagascar es un paquete de software para el procesamiento de datos geofísicos y experimentos numéricos reproducibles. La misión del paquete es proporcionar un entorno conveniente para los investigadores que trabajan con la i
-
Parable NKJV Gratis
GRATIS: Todo el Evangelio de Juan (2 horas, 14 minutos) con Lou Gossett, Jr. como John. En cualquier momento se puede comprar el audio completo para la parábola NKJV antiguo y nuevo testamento o puede comprar los libros indiv
-
LibreEngineering Gratis
LibreEngineering - conjunto de instrumentación, eléctrica, mecánica, ingeniería de procesos y programas de diseño y otras herramientas. Licenciado bajo la GPL3. Escrito en Python con kit de herramientas Qt.
-
AVR Attiny26 Visual Programmer Gratis
Programador visual GUI para microcontrolador Attiny26 para la salida de montaje, montaje en hexedecimal y carga en hardware con una interfaz intuitiva (Tekbots-OSU).
-
GRE Mnemonics Wordlist Lite Gratis
-------------------Por favor complete esta encuesta para ayudarnos a mejorar esta aplicación.http://goo.gl/xwyyCX-------------------Aplicación de construcción de vocabulario perfecta para la preparación de GRE, CAT
-
Asmaul Husna Gratis
Los 99 Nombres de Dios o 99 Nombres de Allah son los Nombres de Dios por los cuales los musulmanes consideran a Dios (Allah) y que se describen en el Corán, y la Tradición Profética, entre otros lugares.
-
Doxygen filters Gratis
Filtros Doxygen para estos lenguajes de programación: R de GNU, q de kx.com, MatLab de MathWorks. Estos programas se implementan en C++ mediante Flex++. Proporcionan fuentes en línea completas, no solo definiciones de funcion