Pour les articles homonymes, voirIsabelle.
Cet article est uneébauche concernant l’informatique.
| Développé par | Université de technologie de Munich etUniversité de Cambridge |
|---|---|
| Première version | |
| Écrit en | Standard ML etScala |
| Système d'exploitation | GNU/Linux,Microsoft Windows etmacOS |
| Formats lus | Isabelle file format(d) |
| Formats écrits | Isabelle file format(d) |
| Type | Assistant de preuve |
| Licence | Licence BSD |
| Site web | isabelle.in.tum.de |
LelogicielIsabelle est unassistant de preuve, c'est-à-dire un démonstrateur interactif dethéorèmes. C'est le successeur deHOL (en).
C’est unlogiciel libre publié souslicence BSD.
