Isabelle (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

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 |
Type |
Assistant de preuve Logiciel à sources consultables (en) |
Licence | Licence BSD |
Site web | isabelle.in.tum.de |
C’est un logiciel libre publié sous licence BSD.
Liens externes
- (en) Site web officiel Isabelle
- (en) The Archive of Formal Proofs
- (en) IsarMathLib
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.