Paket: acl2-infix (8.5dfsg-5 und andere)

[ Quellcode: acl2  ]

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

• dep: acl2 (= 8.5dfsg-5+b1) [nicht mips64el]

  Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

  dep: acl2 (= 8.5dfsg-5+b2) [mips64el]

• 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	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.5dfsg-5+b1	467,1 kB	2.860,0 kB	[Liste der Dateien]
arm64	8.5dfsg-5+b1	466,0 kB	2.761,0 kB	[Liste der Dateien]
armel	8.5dfsg-5+b1	460,1 kB	1.819,0 kB	[Liste der Dateien]
armhf	8.5dfsg-5+b1	475,4 kB	1.760,0 kB	[Liste der Dateien]
i386	8.5dfsg-5+b1	478,9 kB	1.928,0 kB	[Liste der Dateien]
mips64el	8.5dfsg-5+b2	494,5 kB	2.941,0 kB	[Liste der Dateien]
ppc64el	8.5dfsg-5+b1	488,6 kB	3.221,0 kB	[Liste der Dateien]
s390x	8.5dfsg-5+b1	468,1 kB	2.870,0 kB	[Liste der Dateien]