|
|
148.
|
|
|
This package contains the base ACL2 binary.
|
|
|
Description
|
|
|
|
|
Ez a csomag tartalmazza az alap ACL2 binárist.
|
|
Translated and reviewed by
Balázs Úr
|
|
|
|
Located in
Package: acl2
|
|
|
149.
|
|
|
A Computational Logic for Applicative Common Lisp: compiled libraries
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books
|
|
|
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
|
|
|
|
|
Ez a csomag tartalmazza az ACL2 dokumentációt.
|
|
Translated and reviewed by
Balázs Úr
|
|
|
|
Located in
Package: acl2-doc
|
|
|
157.
|
|
|
A Computational Logic for Applicative Common Lisp: emacs interface
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-emacs
|
