Sobre Isabelle
Isabelle é um assistente de prova para escrever e verificar provas matemáticas por computador. Permite que fórmulas matemáticas sejam expressas em uma linguagem formal e forneça ferramentas para provar essas fórmulas em um cálculo lógico.
Categorias
- Free
- Open Source
- Paid
- Education & Reference
Alternativas para Isabelle
Coq
grátis
código aberto
#1
Coq é um assistente de prova, que permite que você escreva provas matemáticas de uma forma rigorosa e formal, e tê-los v...
ver detalhes
F*
grátis
código aberto
#2
F* é uma linguagem de programação funcional semelhante a ML destinada à verificação do programa. F* pode expressar espec...
ver detalhes
Agda
grátis
código aberto
#3
Agda é uma linguagem de programação funcional de tipo dependente. Tem famílias indutivas, ou seja, tipos de dados que de...
ver detalhes
