Package: acl2-infix (4.3-3 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, works-with::software:source

Other Packages Related to acl2-infix

• dep: acl2 (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: main binary

  dep: acl2 (= 4.1-5) [hppa, powerpcspe]

  dep: acl2 (= 4.1-5+b1) [sparc64]

  dep: acl2 (= 4.2-1) [sh4]

  dep: acl2 (= 4.3-2) [hurd-i386]

  dep: acl2 (= 4.3-3) [not hppa, hurd-i386, m68k, powerpcspe, sh4, sparc64]

• dep: dpkg (>= 1.14.18) [i386, kfreebsd-amd64, mipsel]

  Debian package management system

• dep: tetex-extra [m68k]

  Package not available

• dep: tex-common (>= 3) [i386, kfreebsd-amd64, mipsel]

  common infrastructure for building and installing TeX

• dep: texlive-latex-recommended [not m68k]

  TeX Live: LaTeX recommended packages

• rec: acl2-infix-source (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: infix source

  rec: acl2-infix-source (= 4.1-5) [hppa, powerpcspe, sparc64]

  rec: acl2-infix-source (= 4.2-1) [sh4]

  rec: acl2-infix-source (= 4.3-2) [hurd-i386]

  rec: acl2-infix-source (= 4.3-3) [not hppa, hurd-i386, m68k, powerpcspe, sh4, sparc64]

Download acl2-infix

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.3-3	242.8 kB	1,193.0 kB	[list of files]
amd64	4.3-3	198.9 kB	1,073.0 kB	[list of files]
armel	4.3-3	368.9 kB	1,116.0 kB	[list of files]
armhf	4.3-3	400.7 kB	1,197.0 kB	[list of files]
hppa	4.1-5	497.0 kB	1,384.0 kB	[list of files]
hurd-i386	4.3-2	178.1 kB	639.0 kB	[list of files]
i386	4.3-3	179.8 kB	645.0 kB	[list of files]
ia64	4.3-3	255.8 kB	1,615.0 kB	[list of files]
kfreebsd-amd64	4.3-3	200.6 kB	1,019.0 kB	[list of files]
kfreebsd-i386	4.3-3	178.1 kB	579.0 kB	[list of files]
m68k (unofficial port)	3.1-1	191.1 kB	772.0 kB	[list of files]
mips	4.3-3	226.2 kB	792.0 kB	[list of files]
mipsel	4.3-3	214.3 kB	798.0 kB	[list of files]
powerpc	4.3-3	218.4 kB	779.0 kB	[list of files]
powerpcspe (unofficial port)	4.1-5	511.8 kB	1,440.0 kB	[list of files]
s390	4.3-3	166.5 kB	548.0 kB	[list of files]
s390x	4.3-3	190.2 kB	875.0 kB	[list of files]
sh4 (unofficial port)	4.2-1	417.3 kB	1,184.0 kB	[list of files]
sparc	4.3-3	211.7 kB	724.0 kB	[list of files]
sparc64 (unofficial port)	4.1-5+b1	481.8 kB	2,064.0 kB	[list of files]