Software
Nós compilamos uma lista de 3 alternativas gratuitas e pagas para o Isabelle. Os principais concorrentes incluem: Coq, F*. Além disso, os usuários também fazem comparações entre Isabelle 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 Isabelle. Os principais concorrentes incluem: Coq, F*. Além disso, os usuários também fazem comparações entre Isabelle e Agda. Além disso, você pode conferir outras opções semelhantes aqui: Software de Educação e Referência.
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,
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
Linux
Mac
Windows
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
Ele permite que as fórmulas matemáticas sejam expressas em uma linguagem formal e fornece ferramentas para provar essas fórmulas em um cálculo lógico.
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?
