[ Source: acl2 ]
Package: acl2-doc (8.0dfsg-1)
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.
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)
- Fælles infrastruktur for bygning og installation af TeX
Download acl2-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 392.1 kB | 1,155.0 kB | [list of files] |