Paket: acl2-doc (8.0dfsg-1)

[ Källkod: acl2  ]

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.

Märken: Software Development: Dokumentation, Interpreter, Lisp Development, Field: field::mathematics, made-of::html, Role: Dokumentation, role::program, works-with::software:source

Andra paket besläktade med acl2-doc

• dep: dpkg (>= 1.15.4)

  Debians pakethanteringssystem

  eller install-info

  Manage installed documentation in info format

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

Hämta acl2-doc

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	392,1 kbyte	1.155,0 kbyte	[filförteckning]