Isabelle (logiciel)
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Isabelle.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Isabelle
![Description de l'image Isabelle jedit.png.](http://upload.wikimedia.org/wikipedia/commons/thumb/1/14/Isabelle_jedit.png/220px-Isabelle_jedit.png)
Développé par | Université de technologie de Munich et université de Cambridge![]() |
---|---|
Première version | ![]() |
Écrit en | Standard ML et Scala![]() |
Système d'exploitation | GNU/Linux, Microsoft Windows et macOS![]() |
Formats lus | Isabelle file format (d)![]() |
Formats écrits | Isabelle file format (d)![]() |
Type | Assistant de preuve Logiciel à sources consultables (en) ![]() |
Licence | Licence BSD![]() |
Site web | isabelle.in.tum.de![]() |
modifier - modifier le code - voir Wikidata (aide)
Le logiciel Isabelle est un assistant de preuve, c'est-à-dire un démonstrateur interactif de théorèmes. C'est le successeur de HOL (en).
C’est un logiciel libre publié sous licence BSD.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Liens externes
- (en) Site web officiel Isabelle
- (en) The Archive of Formal Proofs
- (en) IsarMathLib
Portail des logiciels libres