[ bianca ]

[ Source: acl2 ]

Package: acl2-doc (8.6+dfsg-2)

Links for acl2-doc

eLxr Patch Tracker

Download Source Package acl2:

Maintainer:

Camm Maguire

External Resources:

Homepage [www.cs.utexas.edu]

Similar packages:

Computational Logic for Applicative Common Lisp: documentation

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 the documentation for ACL2.

Other Packages Related to acl2-doc

depends

recommends

suggests

enhances

dep: dpkg (>= 1.15.4)

Debian package management system
dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

Download acl2-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	512.6 kB	1,642.0 kB	[list of files]