![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3
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.
isabelle
Categorias
Alternativas a Isabelle para Mac
![Coq](https://i.altapps.net/icons/coq-ae922.png)
4
![F*](https://i.altapps.net/icons/f--9bf8d.png)
3
F*
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.