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

Agda 1 1.0.2

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

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/

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 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