Pakket: acl2-infix (8.5dfsg-5 en anderen)

[ Bron: acl2  ]

Computational Logic for Applicative Common Lisp: infix interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Tags: Softwareontwikkeling: Interpreter, Ontwikkelen in Lisp, devel::library, field::mathematics, Implemented in: Lisp, Role: role::app-data, role::program, Works with: Source Code

Andere aan acl2-infix gerelateerde pakketten

• dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

  Computational Logic for Applicative Common Lisp: main binary

  dep: acl2 (= 8.5dfsg-1) [x32]

  dep: acl2 (= 8.5dfsg-2) [m68k]

  dep: acl2 (= 8.5dfsg-5) [hppa]

  dep: acl2 (= 8.5dfsg-5+b1) [niet alpha, hppa, m68k, mips64el, riscv64, sh4, x32]

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

• dep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

• rec: acl2-infix-source (= 8.4dfsg-2) [alpha, sh4]

  Computational Logic for Applicative Common Lisp: infix source

  rec: acl2-infix-source (= 8.5dfsg-1) [x32]

  rec: acl2-infix-source (= 8.5dfsg-2) [m68k]

  rec: acl2-infix-source (= 8.5dfsg-5) [niet alpha, m68k, sh4, x32]

acl2-infix downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	8.4dfsg-2	502,1 kB	3.045,0 kB	[overzicht]
amd64	8.5dfsg-5+b1	467,1 kB	2.860,0 kB	[overzicht]
arm64	8.5dfsg-5+b1	466,0 kB	2.761,0 kB	[overzicht]
armel	8.5dfsg-5+b1	460,1 kB	1.819,0 kB	[overzicht]
armhf	8.5dfsg-5+b1	475,4 kB	1.760,0 kB	[overzicht]
hppa (unofficial port)	8.5dfsg-5	531,5 kB	2.323,0 kB	[overzicht]
i386	8.5dfsg-5+b1	478,9 kB	1.928,0 kB	[overzicht]
m68k (unofficial port)	8.5dfsg-2	442,5 kB	2.245,0 kB	[overzicht]
mips64el	8.5dfsg-5+b2	494,5 kB	2.941,0 kB	[overzicht]
ppc64 (unofficial port)	8.5dfsg-5+b1	472,5 kB	3.095,0 kB	[overzicht]
ppc64el	8.5dfsg-5+b1	488,6 kB	3.221,0 kB	[overzicht]
riscv64	8.5dfsg-5+b2	1.023,1 kB	13.077,0 kB	[overzicht]
s390x	8.5dfsg-5+b1	468,1 kB	2.870,0 kB	[overzicht]
sh4 (unofficial port)	8.4dfsg-2	479,4 kB	1.810,0 kB	[overzicht]
sparc64 (unofficial port)	8.5dfsg-5+b1	452,1 kB	2.932,0 kB	[overzicht]
x32 (unofficial port)	8.5dfsg-1	483,5 kB	2.148,0 kB	[overzicht]