Isabelle (logiciel)

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Isabelle

Description de l'image Isabelle jedit.png.
Informations
Développé par Université technique 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 MLVoir et modifier les données sur Wikidata
Système d'exploitation GNU/Linux, Microsoft Windows et macOSVoir et modifier les données sur Wikidata
Type Assistant de preuveVoir 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

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[modifier | modifier le code]