Isabelle (logiciel)

Informations
Développé par	Université de technologie de Munich et université de Cambridge
Première version	1986
Écrit en	Standard ML et Scala
Système d'exploitation	GNU/Linux, Microsoft Windows et macOS
Formats lus	Isabelle file format ()
Formats écrits	Isabelle file format ()
Type	Assistant de preuve; Logiciel à sources consultables (en)
Licence	Licence BSD
Site web	isabelle.in.tum.de

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 .

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 ?

Liens externes

Portail des logiciels libres

Dernière mise à jour du contenu le 06/08/2020.

Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.

Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.

Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Isabelle_%28logiciel%29) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.

Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.

Auteurs de cet article « Isabelle (logiciel) » :

Loveless, EmausBot, Givet, Bob08, Addbot, SniperMaské, Isaac Sanolnacov, Analphabot, Stanlekub, Silex6, Nicobzz, Zawer, Outs, Fryderyk.