Isabelle (software)
Isabelle
| Desarrollado por | Universidad Técnica de Munich y Universidad de Cambridge |
|---|---|
| Primera versión | 1986 |
| Escrito en | ML estándar |
| Sistema de explotación | GNU / Linux , Microsoft Windows y macOS |
| Tipo | Asistente de pruebas |
| Licencia | Licencia BSD |
| Sitio web | isabelle.in.tum.de |
El software Isabelle es un asistente de pruebas , es decir, un demostrador interactivo de teoremas . Es el sucesor de HOL (en) .
Es un software gratuito publicado bajo la licencia BSD .
enlaces externos
- (es) Web oficial de Isabelle
- (es) El Archivo de Pruebas Formales
- (es) IsarMathLib