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

Links für acl2-infix-source

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Camm Maguire (QS-Seite)

Externe Ressourcen:

Homepage [www.cs.utexas.edu]

Rechenbetonte Logik für applikatives Common Lisp: Infix-Quelltexte

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 Quelltexte der ACL2-Infix-Schnittstelle.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, devel::library, field::mathematics, Implementiert in: Lisp, Rolle: Quellcode

Andere Pakete mit Bezug zu acl2-infix-source

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: tex-common (>= 6.13)

Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

acl2-infix-source herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	70,6 kB	336,0 kB	[Liste der Dateien]