Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: acl2  ]

Paket: acl2-source (8.5dfsg-5)

Links für acl2-source

Screenshot

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Rechenbetonte Logik für applikatives Common Lisp: Quelltextdateien

ACL2 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.

Dieses Paket enthält die Lisp-Quelltextdateien des ACL2-Hauptprogramms.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Feld: field::mathematics, implemented-in::lisp, Benutzer-Schnittstellen: Text-basiert interaktiv, Rolle: role::program, role::source, GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu acl2-source

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

acl2-source herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 3.503,8 kB18.837,0 kB [Liste der Dateien]