Isabelle

Isabelle

Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen per Computer.
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen per Computer.Sie ermöglicht es, mathematische Formeln in einer formalen Sprache auszudrücken, und bietet Werkzeuge, um diese Formeln in einem logischen Kalkül zu beweisen.
isabelle

Webseite:

Kategorien

Alternativen zu Isabelle für alle Plattformen mit Open Source-Lizenz