Isabelle (logiciel)

Isabelle

Informations
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
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 (en).

C’est un logiciel libre publié sous licence BSD.

Liens externes

  • Portail des logiciels libres
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous licence Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.