![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