|
|
150.
|
|
|
This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books
|
|
|
151.
|
|
|
A Computational Logic for Applicative Common Lisp: library certificates
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-certs
|
|
|
152.
|
|
|
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-certs
|
|
|
153.
|
|
|
A Computational Logic for Applicative Common Lisp: library sources
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-source
|
|
|
154.
|
|
|
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-source
|
|
|
155.
|
|
|
A Computational Logic for Applicative Common Lisp: documentation
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-doc
|
|
|
156.
|
|
|
This package contains the documentation for ACL2.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-doc
|
|
|
157.
|
|
|
A Computational Logic for Applicative Common Lisp: emacs interface
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-emacs
|
|
|
158.
|
|
|
This package contains an emacs interface to ACL2.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: elpa-acl2
|
|
|
159.
|
|
|
A Computational Logic for Applicative Common Lisp: infix interface
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix
|
