Agda 1 1.0.2

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

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/