Agda 1 1.0.2
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/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
Sobre Agda 1
Agda é um sistema para o desenvolvimento incremental de provas e programas. Este é o projeto de perfuração de origem para o AGDA anterior (Agda 1). Uma versão mais recente de Agda (Agda 2) em testes beta está disponível a partir de: http://wiki.portal.chalmers.se/agda/
Programas Relacionados
-
Survival Medicine Guide Avaliação gratuita
"Requer leitor de Adobe gratuito"**Este é um guia de medicina de sobrevivência no caso do que todos tememos realmente acontecer. Este é um grande elogio a qualquer bom manual de sobrevivência. Esta informação pode não est
-
terz Livre
Terz o incrível AutoTagger é um Tagger de arquivo de áudio automatizado e renomeador de arquivos. Ele usa informações fornecidas pela musicbrainz. Ao usar informações de contexto, Terz consegue resultados muito bons. Outras c
-
Lua ODE Livre
Lua ODE é uma vinculação do OpenDE para a linguagem Lua para as plataformas Windoze, OS X e Linux.
-
assistent-fah Livre
Assistente para Folding@home calcular a velocidade média do seu computador em Folding@home projeto de computação distribuída por registro de cliente.Assistente para Folding@home é licenciado sob Licença Pública Geral GNU
-
Spanish Tester Lite Avaliação gratuita
O Espanhol Tester Pro testa você em conjugações de verbos em espanhol e concordância entre partes da fala, gerando perguntas simuladas de quiz.Perguntas de múltipla escolha e preenchimento em branco testam seus conhecimen
-
IRBEM-LIB Livre
O IRBEM-LIB fornece rotinas para calcular coordenadas magnéticas para qualquer local no campo magnético da Terra, para realizar conversões coordenadas, avaliar modelos de geofísica/física espacial e para propagar órbitas no t
-
libTopo Livre
libTopo e TopoMap são ferramentas para usar, converter, analisar e exibir mapas de topografia como ETOPO2, ETOPO5 e GLOBE. TopoMap é a interface de linha de comando para converter bancos de dados de topografia em dados brutos
-
Nanodesigner Livre
Nanodesigner é uma plataforma de software para pesquisa em nanotecnologia molecular. Possui arquitetura plug-in e incluirá ferramentas para visualização molecular e modelagem, design de novas moléculas complexas, dinâmica mol
-
Analysis & Reconstruction Sound Livre
O Mecanismo de Som de Análise e Reconstrução analisa um arquivo de som em um espectrograma e é capaz de sintetizar esse espectrograma, ou qualquer outra imagem criada pelo usuário, de volta em um som.
-
G200X Motion controller Livre
Código de firmware e GUI para o controlador de movimento Geckodrive G200X