Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Agda 1

Agda 1 1.0.2

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos
Baixar

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/

história da versão

  • Versão 1.0.2 postado em 2008-04-23
    Várias correções e atualizações
  • Versão 1.0.2 postado em 2008-04-23

Detalhes do programa

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