Package: acl2-infix (4.0-3)

[ Source: acl2  ]

A 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, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Other Packages Related to acl2-infix

• dep: acl2 (= 4.0-3)

  A Computational Logic for Applicative Common Lisp: main binary

• dep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

• rec: acl2-infix-source (= 4.0-3)

  A Computational Logic for Applicative Common Lisp: infix source

Download acl2-infix

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	420.5 kB	1,964.0 kB	[list of files]
armel	383.7 kB	1,112.0 kB	[list of files]
i386	381.3 kB	1,148.0 kB	[list of files]
ia64	559.5 kB	2,576.0 kB	[list of files]
kfreebsd-amd64	421.2 kB	1,924.0 kB	[list of files]
kfreebsd-i386	379.8 kB	1,110.0 kB	[list of files]
mips	426.6 kB	1,224.0 kB	[list of files]
mipsel	187.3 kB	688.0 kB	[list of files]
powerpc	511.1 kB	1,448.0 kB	[list of files]
s390	449.5 kB	1,264.0 kB	[list of files]
sparc	441.6 kB	1,324.0 kB	[list of files]