Isabelle (logiciel)
logiciel / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Isabelle.
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).
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Faits en bref Développé par, Première version ...
Isabelle
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 |
Type |
Assistant de preuve Logiciel à sources consultables (en) |
Licence | Licence BSD |
Site web | isabelle.in.tum.de |
Fermer
C’est un logiciel libre publié sous licence BSD.
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?