fr 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 (d)
Formats écrits	Isabelle file format (d)
Type	Assistant de preuve; Logiciel à sources consultables (en)
Licence	Licence BSD
Site web	isabelle.in.tum.de

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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.

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Liens externes