Isabelle (logiciel)
logiciel De Wikipédia, l'encyclopédie libre
logiciel De Wikipédia, l'encyclopédie libre
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.
| 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 |
C’est un logiciel libre publié sous licence BSD.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
