Coqtail
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
Sobre Coqtail
Teoremas, Abstrações e Implementações do COQ (nível de bacharel) Coqtail é uma biblioteca de provas matemáticas usando o assistente de prova coq.
Programas Relacionados
-
Triplets / Triple Livre
Ce logiciel recherche tous les triplets pythagoriciens que l'on peut ex avec un nombre allant de 199999999999999999. / Este software procura por todo o triplo pitagórico que podemos formar com um número indo de 1 a 9999999999
-
FunnyRobot Platform Livre
O projeto FunnyRobot projeta um controlador de robôs educacional que é programável via USB. Tanto o hardware quanto o software são configuráveis e extensíveis. Os usuários podem criar programas com uma biblioteca C++ e execut
-
Merriam-Webster s Unabridged Avaliação gratuita
O Terceiro Dicionário Internacional de Merriam-Webster, Unabridged - o dicionário mais abrangente da América.------------Detalhes do dicionário:• Mais de 257.244 inscrições e 700.000 definições• 143.000
-
Madagascar Livre
Madagascar é um pacote de software para processamento geofísico de dados e experimentos numéricos reprodutíveis. A missão do pacote é fornecer um ambiente conveniente para pesquisadores que trabalham com imagem digital e proc
-
Parable NKJV Livre
GRÁTIS: Todo o Evangelho de João (2 horas, 14 minutos) com Lou Gossett Jr. como John. A qualquer momento você pode comprar o áudio completo para a Parábola NKJV Old & New Testament ou você pode comprar os livros individua
-
LibreEngineering Livre
LibreEngineering - conjunto de programas de instrumentação, elétrica, mecânica, engenharia de processos e projetos e outras ferramentas. Licenciado sob GPL3. Escrito em Python com kit de ferramentas Qt.
-
AVR Attiny26 Visual Programmer Livre
Programador visual gui 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 Livre
-------------------Por muito tempo, complete esta pesquisa para nos ajudar a melhorar este aplicativo.http://goo.gl/xwyyCX-------------------Aplicativo perfeito de construção de vocabulário para preparação de GRE,
-
Asmaul Husna Livre
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 Alcorão, e Sunnah, entre outros lugares.
-
Doxygen filters Livre
Filtros Doxygen para essas linguagens de programação: R da GNU, q de kx.com, MatLab da MathWorks. Esses programas são implementados em C++ usando Flex++. Eles fornecem fontes completas de linha não apenas definições de função