Software
Wir haben eine Liste von 3 kostenlosen und kostenpflichtigen Alternativen zu Isabelle zusammengestellt. Zu den Hauptkonkurrenten gehören Coq, F*. Neben diesen vergleichen Benutzer auch Isabelle mit Agda. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Bildungs- und Nachschlagewerk Software.
Wir haben eine Liste von 3 kostenlosen und kostenpflichtigen Alternativen zu Isabelle zusammengestellt. Zu den Hauptkonkurrenten gehören Coq, F*. Neben diesen vergleichen Benutzer auch Isabelle mit Agda. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Bildungs- und Nachschlagewerk Software.
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.
Agda ist eine abhängig typisierte funktionale Programmiersprache. Es hat induktive Familien, dh
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen mit dem Computer.
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen mit dem Computer.
Linux
Mac
Windows
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen mit dem 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.
Teilen Sie Ihre Meinung zur Software, hinterlassen Sie eine Bewertung und helfen Sie dabei, sie noch besser zu machen!
Änderungen vorschlagen
Ihr Feedback
Your vote has been counted.
Do you have experience using this software?
