Package: acl2-doc (8.3dfsg-2)

[ Source: acl2  ]

Beregningslogik for Applicative Common Lisp - dokumentation

ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.

Denne pakke indeholder dokumentationen for ACL2.

Tags: Software Development: Documentation, Interpreter, Lisp Development, Field: field::mathematics, made-of::html, Role: Documentation, role::program, works-with::software:source

Other Packages Related to acl2-doc

• dep: dpkg (>= 1.15.4)

  Debians pakkevedligeholdelsessystem

  or install-info

  Håndter installeret dokumentation i info format

• dep: tex-common (>= 6.13)

  Fælles infrastruktur for bygning og installation af TeX

Download acl2-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	437.1 kB	1,304.0 kB	[list of files]