Top Qs
Chronologie
Chat
Contexte
Isabelle (logiciel)
logiciel De Wikipédia, l'encyclopédie libre
Remove ads
Pour les articles homonymes, voir Isabelle.
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).
Cet article est une ébauche concernant l’informatique.
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 ?
Remove ads
Liens externes
- (en) Site web officiel Isabelle
- (en) The Archive of Formal Proofs
- (en) IsarMathLib
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads