Isabelle

Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.

Gratis
Windows
Mac
Linux

Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.Permite que las fórmulas matemáticas se expresen en un lenguaje formal y proporciona herramientas para probar esas fórmulas en un cálculo lógico.

Sitio web:

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

Categorias

Educación y referencia

Alternativas a Isabelle para Mac con licencia de código abierto