123
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.

Alternativen zu Isabelle für Mac mit kostenloser Lizenz