|
|
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
|
|
|
160.
|
|
|
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix
|
|
|
161.
|
|
|
A Computational Logic for Applicative Common Lisp: infix source
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix-source
|
|
|
162.
|
|
|
This package contains the source files to the infix interface to ACL2.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix-source
|
|
|
163.
|
|
|
A Computational Logic for Applicative Common Lisp: source files
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-source
|
|
|
164.
|
|
|
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: elpa-acl2
Package: acl2-source
Package: acl2-infix-source
Package: acl2-infix
Package: acl2-doc
Package: acl2-books-source
Package: acl2-books-certs
Package: acl2-books
Package: acl2
|
|
|
165.
|
|
|
This package contains the lisp source files to the main ACL2 binary.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-source
|
