Paket: acl2-books-source (8.5dfsg-5)

[ Quellcode: acl2  ]

Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliotheken

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 Lisp-Quelltexte zu den im Paket acl2-books bereitgestellten Bibliotheken.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Implementiert in: implemented-in::lisp, interface::text-mode, Rolle: Programm, Quellcode, GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu acl2-books-source

• dep: acl2 (>= 8.5dfsg-5)

  Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

• dep: tex-common (>= 6.13)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

acl2-books-source herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	24.084,3 kB	207.234,0 kB	[Liste der Dateien]