Skip to content
Sections
>> Trisquel >> Пакети >> etiona >> doc >> acl2-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Източник: acl2  ]

Пакет: acl2-doc (8.0dfsg-1)

Computational Logic for Applicative Common Lisp: documentation

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-doc

  • зависимости
  • препоръчани
  • предложени
  • dep: dpkg (>= 1.15.4)
    Debian package management system
    или install-info
    Manage installed documentation in info format
  • dep: tex-common (>= 6)
    common infrastructure for building and installing TeX

Изтегляне на acl2-doc

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 385,1 кБ1155 кБ [списък на файловете]