Isabelle

Isabelle es un programa para la aplicacion de fórmulas matemáticas que permite que se expresen en un lenguaje formal, proporcionando herramientas para probar en las fórmulas de una lógica de cálculo. Isabelle se desarrolla en la Universidad de Cambridge (Larry Paulson) y la Technische Universität München (Tobias Nipkow).

Isabelle screenshot
Su voto: Nada

Enviar nuevo comentario

El contenido de este campo se mantiene como privado y no se muestra públicamente.
CAPTCHA
Este recuadro es para verificar si ud. es un ser humano o un robot, así como para prevenir el spam
CAPTCHA imagen
Copie los caracteres (respetando mayúsculas y minúsculas) de la imagen.