[ Source: acl2 ]
Package: acl2-doc (8.5dfsg-5)
Links for acl2-doc
Debian Resources:
Download Source Package acl2:
Maintainer:
External Resources:
- Homepage [www.cs.utexas.edu]
Similar packages:
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
-
- dep: tex-common (>= 6.13)
- Fælles infrastruktur for bygning og installation af TeX
Download acl2-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 470.0 kB | 1,475.0 kB | [list of files] |