Isabelle (logiciel)

logiciel

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).

Isabelle

Description de l'image Isabelle jedit.png.
Informations
Développé par Université de technologie de Munich et université de CambridgeVoir et modifier les données sur Wikidata
Première version Voir et modifier les données sur Wikidata
Écrit en Standard ML et ScalaVoir et modifier les données sur Wikidata
Système d'exploitation GNU/Linux, Microsoft Windows et macOSVoir et modifier les données sur Wikidata
Formats lus Isabelle file format (d)Voir et modifier les données sur Wikidata
Formats écrits Isabelle file format (d)Voir et modifier les données sur Wikidata
Type Assistant de preuve
Logiciel à sources consultables (en)Voir et modifier les données sur Wikidata
Licence Licence BSDVoir et modifier les données sur Wikidata
Site web isabelle.in.tum.deVoir et modifier les données sur Wikidata

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

Liens externes

modifier