Paket: acl2-infix (8.5dfsg-5)

Links für acl2-infix

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-Schnittstelle

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 Hilfsprogramme und Bibliotheken für den Zugriff auf ACL2 mittels einer Infix-Notation, wie sie auf ähnliche Art in vielen nicht-Lisp-Programmiersprachen benutzt wird.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, devel::library, field::mathematics, Implementiert in: Lisp, Rolle: role::app-data, role::program, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2-infix

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: acl2 (= 8.5dfsg-5)

Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
dep: texlive-latex-recommended

TeX Live: LaTeX recommended packages

rec: acl2-infix-source (= 8.5dfsg-5)

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

acl2-infix herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	464,1 kB	2.823,0 kB	[Liste der Dateien]
arm64	460,7 kB	2.729,0 kB	[Liste der Dateien]
armel	459,1 kB	1.799,0 kB	[Liste der Dateien]
armhf	472,4 kB	1.738,0 kB	[Liste der Dateien]
i386	477,5 kB	1.905,0 kB	[Liste der Dateien]
mips64el	490,5 kB	2.899,0 kB	[Liste der Dateien]
mipsel	502,9 kB	2.024,0 kB	[Liste der Dateien]
ppc64el	483,0 kB	3.180,0 kB	[Liste der Dateien]
s390x	432,0 kB	2.812,0 kB	[Liste der Dateien]