Package: acl2-infix (8.5dfsg-5 and others)

[ Source: 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: Software Development: Interpreter, Lisp Development, devel::library, field::mathematics, Implemented in: Lisp, Role: role::app-data, role::program, Works with: Source Code

Other Packages Related to acl2-infix

• 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) [not 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) [not alpha, m68k, sh4, x32]

Download acl2-infix

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	8.4dfsg-2	502.1 kB	3,045.0 kB	[list of files]
amd64	8.5dfsg-5+b1	467.1 kB	2,860.0 kB	[list of files]
arm64	8.5dfsg-5+b1	466.0 kB	2,761.0 kB	[list of files]
armel	8.5dfsg-5+b1	460.1 kB	1,819.0 kB	[list of files]
armhf	8.5dfsg-5+b1	475.4 kB	1,760.0 kB	[list of files]
hppa (unofficial port)	8.5dfsg-5	531.5 kB	2,323.0 kB	[list of files]
i386	8.5dfsg-5+b1	478.9 kB	1,928.0 kB	[list of files]
m68k (unofficial port)	8.5dfsg-2	442.5 kB	2,245.0 kB	[list of files]
mips64el	8.5dfsg-5+b2	494.5 kB	2,941.0 kB	[list of files]
ppc64 (unofficial port)	8.5dfsg-5+b1	472.5 kB	3,095.0 kB	[list of files]
ppc64el	8.5dfsg-5+b1	488.6 kB	3,221.0 kB	[list of files]
riscv64	8.5dfsg-5+b2	1,023.1 kB	13,077.0 kB	[list of files]
s390x	8.5dfsg-5+b1	468.1 kB	2,870.0 kB	[list of files]
sh4 (unofficial port)	8.4dfsg-2	479.4 kB	1,810.0 kB	[list of files]
sparc64 (unofficial port)	8.5dfsg-5+b1	452.1 kB	2,932.0 kB	[list of files]
x32 (unofficial port)	8.5dfsg-1	483.5 kB	2,148.0 kB	[list of files]