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

Alternativen zu Isabelle für Linux mit kostenloser Lizenz