Software
Nós compilamos uma lista de 3 alternativas gratuitas e pagas para o Agda. Os principais concorrentes incluem: Isabelle, Coq. Além disso, os usuários também fazem comparações entre Agda e F*. Além disso, você pode conferir outras opções semelhantes aqui: Software de Desenvolvimento, Linguagens de Programação.
Nós compilamos uma lista de 3 alternativas gratuitas e pagas para o Agda. Os principais concorrentes incluem: Isabelle, Coq. Além disso, os usuários também fazem comparações entre Agda e F*. Além disso, você pode conferir outras opções semelhantes aqui: Software de Desenvolvimento, Linguagens de Programação.
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
Coq é um assistente de prova, que permite escrever provas matemáticas de forma rigorosa e formal ...
F * é uma linguagem de programação funcional semelhante a ML, destinada à verificação do programa.
O Agda é uma linguagem de programação funcional de tipo dependente. Possui famílias indutivas, ou seja,
O Agda é uma linguagem de programação funcional de tipo dependente. Possui famílias indutivas, ou seja,
Linux
Mac
Windows
O Agda é uma linguagem de programação funcional de tipo dependente. Possui famílias indutivas, ou seja, tipos de dados que dependem de valores, como o tipo de vetores de um determinado comprimento. Ele também possui módulos parametrizados, operadores mixfix, caracteres Unicode e uma interface interativa do Emacs, que pode ajudar o programador a escrever o programa.
Agda é assistente de prova. É um sistema interativo para escrever e verificar provas. A Agda é baseada na teoria do tipo intuicionista, um sistema fundamental para a matemática construtiva desenvolvido pelo lógico sueco Per Martin-Löf. Tem muitas semelhanças com outros assistentes de prova baseados em tipos dependentes, como Coq, Epigram, Matita e NuPRL.
Compartilhe sua opinião sobre o software, deixe uma avaliação e ajude a torná-lo ainda melhor!
Sugerir alterações
Seu feedback
Your vote has been counted.
Do you have experience using this software?
