Agda 1 1.0.2
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
Sobre Agda 1
A Agda é um sistema para desenvolver gradualmente provas e programas. Este é o projeto de fonte de ordenação da AGDA ANTERIOR (Agda 1). Uma versão mais recente da Agda (Agda 2) em testes beta está disponível a partir de: http://wiki.portal.chalmers.se/agda/
Programas Relacionados
-
Survival Medicine Guide Julgamento Gratuito
"Requer leitor gratuito de Adobe"*Este é um guia de medicina de sobrevivência, caso o que todos tememos realmente aconteça. Este é um grande elogio a qualquer bom manual de sobrevivência. Esta informação pode não estar di
-
terz Grátis
Terz o incrível AutoTagger é um gravador de ficheiros áudio automatizado e rebatizador de ficheiros. Utiliza informação fornecida por musicbrainz. Ao usar informação de contexto, a Terz obtém resultados muito bons. Outras car
-
Lua ODE Grátis
Lua ODE é uma ligação do OpenDE para a língua Lua para as plataformas Windoze, OS X e Linux.
-
assistent-fah Grátis
Assistent for Folding@home calcular a velocidade média do seu computador em Folding@home projeto de computação distribuído por registo de cliente.Assistent for Folding@home é licenciado ao abrigo da Licença Pública Geral da
-
Spanish Tester Lite Julgamento Gratuito
O Espanhol Tester Pro testa-o em conjugações de verbos espanhóis e acordo entre partes da fala, gerando perguntas simuladas de quiz.Perguntas de escolha múltipla e preenchimento em branco testam os seus conhecimentos nos
-
IRBEM-LIB Grátis
O IRBEM-LIB fornece rotinas para calcular coordenadas magnéticas para qualquer local no campo magnético da Terra, para realizar conversões de coordenadas, para avaliar modelos geofísicos/espaciais-físicos, e para propagar órb
-
libTopo Grátis
libTopo e TopoMap são ferramentas para usar, converter, analisar e exibir mapas de topografia como ETOPO2, ETOPO5 e GLOBE. TopoMap é a interface da linha de comando para converter bases de dados de topografia em dados brutos,
-
Nanodesigner Grátis
Nanodesigner é uma plataforma de software para pesquisa sobre nanotecnologia molecular. Tem uma arquitetura plug-in e incluirá ferramentas para visualização e modelação molecular, design de novas moléculas complexas, dinâmica
-
Analysis & Reconstruction Sound Grátis
O Motor de Som de Análise e Reconstrução analisa um ficheiro de som num espectrograma e é capaz de sintetizar este espectrograma, ou qualquer outra imagem criada pelo utilizador, de volta a um som.
-
G200X Motion controller Grátis
Firmware e código GUI para o controlador de movimento Geckodrive G200X