Dies ist die Linux-App namens Agda, deren neueste Version als Agda-v2.8.0-win64.zip heruntergeladen werden kann. Sie kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens Agda mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
SCREENSHOTS:
Agda
BESCHREIBUNG:
Agda ist eine abhängig typisierte, vollständig funktionale Programmiersprache und ein interaktiver Theorembeweiser, der auf Martin-Löfs Typentheorie basiert. Agda ermöglicht die Darstellung von Programmen und Beweisen in derselben Sprache unter Verwendung der Curry-Howard-Korrespondenz. Es bietet interaktive Entwicklung über Emacs, Atom oder VS Code.
Eigenschaften
- Abhängig typisierte Sprache, die die Kodierung von Beweisen als Typen ermöglicht
- Vollständigkeits- und Abschlussprüfung zur Sicherstellung der Konsistenz
- Interaktive Beweisentwicklung mit Metavariablen und Emacs/Vim/VS Code-Integration
- Unicode-Unterstützung und an Haskell erinnernde Syntax
- Standardbibliothek mit Definitionen für Kerndatenstrukturen und Beweise
- Backends einschließlich MAlonzo (Haskell) und JavaScript für Kompilierungsziele
Programmiersprache
Haskell
Kategorien
Diese Anwendung kann auch von https://sourceforge.net/projects/agda.mirror/ heruntergeladen werden. Sie wurde in OnWorks gehostet, um sie auf einfachste Weise online von einem unserer kostenlosen Betriebssysteme aus ausführen zu können.