Agda 1 1.0.2
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 5.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
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/