all options
squeeze  ] [  wheezy  ] [  wheezy-backports  ] [  jessie  ] [  sid  ]
[ Source: acl2  ]

Package: acl2-books-source (4.0-3)

Links for acl2-books-source

Screenshot

Debian Resources:

Download Source Package acl2:

Maintainer:

Similar packages:

Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliothek

ACL2 ist sowohl eine Programmiersprache mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modellen zu beweisen.

Dieses Paket enthält Lisp-Quelltexte zu den im ACL2-books-Paket bereitgestellten Bibliotheken.

Tags: Software Development: Interpreter, Lisp Development, Implemented in: Lisp, User Interface: Text-based Interactive, Role: Source Code, Interface Toolkit: Ncurses TUI

Other Packages Related to acl2-books-source

  • depends
  • recommends
  • suggests
  • enhances

Download acl2-books-source

Download for all available architectures
Architecture Package Size Installed Size Files
all 5,162.7 kB36,216.0 kB [list of files]