Isabelle

Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.

Grátis
Windows
Mac
Linux

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.

isabelle

Local na rede Internet:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

Categorias

Educação e Referência

Alternativas ao Isabelle para todas as plataformas com licença comercial