|
|
161.
|
|
|
A Computational Logic for Applicative Common Lisp: documentation
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-doc
|
|
|
162.
|
|
|
This package contains the documentation for ACL2.
|
|
|
Description
|
|
|
|
|
Tento balík obsahuje dokumentaci k ACL2.
|
|
Translated and reviewed by
Tomáš Marný
|
|
|
|
Located in
Package: acl2-doc
|
|
|
163.
|
|
|
A Computational Logic for Applicative Common Lisp: emacs interface
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-emacs
|
|
|
164.
|
|
|
This package contains an emacs interface to ACL2.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: elpa-acl2
|
|
|
165.
|
|
|
A Computational Logic for Applicative Common Lisp: infix interface
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix
|
|
|
166.
|
|
|
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
|
|
|
167.
|
|
|
A Computational Logic for Applicative Common Lisp: infix source
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix-source
|
|
|
168.
|
|
|
This package contains the source files to the infix interface to ACL2.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-infix-source
|
|
|
169.
|
|
|
A Computational Logic for Applicative Common Lisp: source files
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-source
|
|
|
170.
|
|
|
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
|
|
|
|
|
ACL2 obsahuje kombinaci programovacího jazyka, ve kterém můžete modelovat počítačové systémy a zároveň obsahuje nástroje, který vám umožní nastavit více parametrů těchto modelů.
|
|
Translated and reviewed by
Michael Vogt
|
|
|
|
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
|
