Software
Nós compilamos uma lista de 3 alternativas gratuitas e pagas para o Coq. Os principais concorrentes incluem: Isabelle, F*. Além disso, os usuários também fazem comparações entre Coq e Agda. Além disso, você pode conferir outras opções semelhantes aqui: Software de Educação e Referência.
Nós compilamos uma lista de 3 alternativas gratuitas e pagas para o Coq. Os principais concorrentes incluem: Isabelle, F*. Além disso, os usuários também fazem comparações entre Coq e Agda. Além disso, você pode conferir outras opções semelhantes aqui: Software de Educação e Referência.
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
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,
Coq é um assistente de prova, que permite escrever provas matemáticas de forma rigorosa e formal ...
Coq é um assistente de prova, que permite escrever provas matemáticas de forma rigorosa e formal ...
Linux
Mac
Windows
O Coq é um assistente de prova, que permite escrever provas matemáticas de maneira rigorosa e formal, e tê-las verificadas quanto à correção pelo computador. Também permite a programação com provas de correção do código e tipos dependentes.
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?
