Entwicklerinformationen
|
| acl2 | A Computational Logic for Applicative Common Lisp: main binary | Mehr ... |
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 base ACL2 binary. |
| acl2-books | A Computational Logic for Applicative Common Lisp: compiled libraries | Mehr ... |
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 numerous precompiled and precertified libraries
for use in proving theorems with ACL2. Serious users will no doubt
want to install this package. |
| acl2-books-certs | A Computational Logic for Applicative Common Lisp: library certificates | Mehr ... |
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 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. |
| acl2-books-source | A Computational Logic for Applicative Common Lisp: library sources | Mehr ... |
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 source lisp files to the compiled libraries
supplied in the ACL2-books package. |
| acl2-doc | A Computational Logic for Applicative Common Lisp: documentation | Mehr ... |
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. |
| acl2-emacs | A Computational Logic for Applicative Common Lisp: emacs interface | Mehr ... |
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 an emacs interface to ACL2. |
| acl2-infix | A Computational Logic for Applicative Common Lisp: infix interface | Mehr ... |
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. |
| acl2-infix-source | A Computational Logic for Applicative Common Lisp: infix source | Mehr ... |
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 source files to the infix interface to
ACL2. |
| acl2-source | A Computational Logic for Applicative Common Lisp: source files | Mehr ... |
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 lisp source files to the main ACL2 binary. |
