Pakket: acl2-doc (8.0dfsg-1)

[ Bron: 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.

Tags: Softwareontwikkeling: Documentatie, Interpreter, Ontwikkelen in Lisp, Field: field::mathematics, made-of::html, Role: Documentatie, role::program, works-with::software:source

Andere aan acl2-doc gerelateerde pakketten

• dep: dpkg (>= 1.15.4)

  Debian package management system

  of install-info

  Manage installed documentation in info format

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

acl2-doc downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
all	392,1 kB	1.155,0 kB	[overzicht]