![](/statics/img/blank.png)
Coqtail
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
Sobre Coqtail
Teoremas coq, abstrações e implementações (nível de solteiro) Coqtail é uma biblioteca de provas matemáticas usando o assistente à prova de Coq.
Programas Relacionados
-
Triplets / Triple Grátis
Ce logiciel recherche tous les trigémeos pitythagoriciens que l'on peut ex avec un nombre allant de 1 999999999. / Este software procura todo o triplo pitagórico que podemos formar com um número que vai de 1 a 999999999.
-
FunnyRobot Platform Grátis
O projeto FunnyRobot projeta um controlador de robô educativo que é programável via USB. Tanto o hardware como o software são configuráveis e extensíveis. Os utilizadores podem construir programas com uma biblioteca C++ e exe
-
Merriam-Webster s Unabridged Julgamento Gratuito
O Terceiro Novo Dicionário Internacional de Merriam-Webster, Unabridged - o dicionário mais abrangente da América.------------Detalhes do dicionário:• Mais de 257.244 entradas e 700.000 definições• 143.0
-
Madagascar Grátis
Madagascar é um pacote de software para o processamento de dados geofísicos e experiências numéricas reprodutíveis. A missão do pacote é proporcionar um ambiente conveniente para os investigadores que trabalham com imagem dig
-
Parable NKJV Grátis
GRÁTIS: Todo o Evangelho de João (2 horas, 14 minutos) com Lou Gossett Jr. como João. A qualquer momento pode adquirir o áudio completo para o Parable NKJV Old & New Testament ou pode comprar os livros individualmente. O
-
LibreEngineering Grátis
LibreEngineering - conjunto de instrumentação, eletrotécnica, mecânica, cálculo de engenharia de processos e programas de design e outras ferramentas. Licenciado em GPL3. Escrito em Python com kit de ferramentas Qt.
-
AVR Attiny26 Visual Programmer Grátis
Programador DE GUI visual para microcontrolador Attiny26 para montagem de saída, montagem em hexedecimal e upload para hardware com uma interface intuitiva (Tekbots-OSU).
-
GRE Mnemonics Wordlist Lite Grátis
-------------------Por gentile o levantamento para nos ajudar a melhorar esta aplicação.http://goo.gl/xwyyCX-------------------Aplicativo de construção vocab perfeito para preparação de GRE, CAT ,PSAT, SAT, LSAT, G
-
Asmaul Husna Grátis
Os 99 Nomes de Deus ou 99 Nomes de Alá são os nomes de Deus pelos quais os muçulmanos consideram Deus (Alá) e que são descritos no Corão, e Sunnah, entre outros lugares.
-
Doxygen filters Grátis
Filtros Doxygen para estas linguagens de programação: R do GNU, q de kx.com, MatLab da MathWorks. Estes programas são implementados em C++ utilizando o Flex++. Fornecem fontes inline completas e não apenas definições de funçã