|
|
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
|
|
|
166.
|
|
|
Analog dockapp clock for GNUstep
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: aclock.app
|
|
|
167.
|
|
|
This little application displays the time of the day (analog).
|
|
|
Description
|
|
|
|
|
Ez a kisalkalmazás megjeleníti a pontos időt (analóg).
|
|
Translated and reviewed by
Balázs Úr
|
|
|
|
Located in
Package: aclock.app
|
|
|
168.
|
|
|
Homepage: http://www.linuks.mine.nu/aclock/
|
|
|
Description
|
|
|
|
|
Honlap: http://www.linuks.mine.nu/aclock/
|
|
Translated and reviewed by
Balázs Úr
|
|
|
|
Located in
Package: aclock.app
|
|
|
169.
|
|
|
A multi-player aerial combat simulation
|
|
|
Summary
|
|
|
|
|
Többjátékos légi harc szimuláció
|
|
Translated and reviewed by
Balázs Úr
|
|
|
|
Located in
Package: acm
|
