Le logiciel Isabelle est un assistant de preuve, c'est-à-dire un démonstrateur interactif de théorèmes. C'est le successeur de . C’est un logiciel libre publié sous…
Le logiciel Isabelle est un assistant de preuve, c'est-à-dire un démonstrateur interactif de théorèmes. C'est le successeur de .
C’est un logiciel libre publié sous licence BSD.
Liens externes Site web officiel Isabelle
IsarMathLib
Catégorie:Assistant de preuve Catégorie:Logiciel libre sous licence BSD
Na podstawie: Wikipedia — Isabelle (logiciel) · historia autorów.
Tekst: CC BY-SA 4.0.
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.