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).
Pour les articles homonymes, voir Isabelle.
Isabelle
| Développé par | Université technique de Munich et université de Cambridge |
|---|---|
| Première version | |
| Écrit en | Standard ML |
| Système d'exploitation | GNU/Linux, Microsoft Windows et macOS |
| Type | Assistant de preuve |
| 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
Portail des logiciels libres
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.