Software
Hemos compilado una lista de 3 alternativas gratuitas y de pago para Isabelle. Los principales competidores incluyen Coq, F*. Además de estos, los usuarios también realizan comparaciones entre Isabelle y Agda. También puedes echar un vistazo a otras opciones similares aquí: Software educativo y de referencia.
Hemos compilado una lista de 3 alternativas gratuitas y de pago para Isabelle. Los principales competidores incluyen Coq, F*. Además de estos, los usuarios también realizan comparaciones entre Isabelle y Agda. También puedes echar un vistazo a otras opciones similares aquí: Software educativo y de referencia.
Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de forma rigurosa y formal ...
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.
Agda es un lenguaje de programación funcional de tipo dependiente. Tiene familias inductivas, es decir
Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.
Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.
Linux
Mac
Windows
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.
¡Comparte tu opinión sobre el software, deja una reseña y ayuda a mejorarlo aún más!
Sugerir cambios
Tus comentarios
Your vote has been counted.
Do you have experience using this software?
