Software
Wir haben eine Liste von 3 kostenlosen und kostenpflichtigen Alternativen zu Agda zusammengestellt. Zu den Hauptkonkurrenten gehören Isabelle, Coq. Neben diesen vergleichen Benutzer auch Agda mit F*. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Entwicklung-Software, Programmiersprachen.
Wir haben eine Liste von 3 kostenlosen und kostenpflichtigen Alternativen zu Agda zusammengestellt. Zu den Hauptkonkurrenten gehören Isabelle, Coq. Neben diesen vergleichen Benutzer auch Agda mit F*. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Entwicklung-Software, Programmiersprachen.
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen mit dem Computer.
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
Agda ist eine abhängig typisierte funktionale Programmiersprache. Es hat induktive Familien, dh
Linux
Mac
Windows
Agda ist eine abhängig typisierte funktionale Programmiersprache. Es hat induktive Familien, dh Datentypen, die von Werten abhängen, wie z. B. die Art der Vektoren einer bestimmten Länge. Es verfügt auch über parametrisierte Module, Mixfix-Operatoren, Unicode-Zeichen und eine interaktive Emacs-Schnittstelle, die den Programmierer beim Schreiben des Programms unterstützen kann.
Agda ist eine Beweisassistentin. Es ist ein interaktives System zum Schreiben und Prüfen von Proofs. Agda basiert auf der Intuitionistischen Typentheorie, einem vom schwedischen Logiker Per Martin-Löf entwickelten Grundsystem für konstruktive Mathematik. Es hat viele Ähnlichkeiten mit anderen Proof-Assistenten, die auf abhängigen Typen basieren, wie Coq, Epigram, Matita und NuPRL.
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?
