[ Source: acl2 ]
Package: acl2-books (8.3dfsg-2)
Computational logik for Applicative Common Lisp - kompilerede biblioteker
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 talrige prækompilerede og præcertificerede biblioteker til brug for at bevise teoremer med ACL2. Seriøse brugere vil uden tvivl ønske at installere denne pakke.
Other Packages Related to acl2-books
|
|
|
|
-
- dep: acl2 (= 8.3dfsg-2)
- Beregningslogik for Applicative Common Lisp - hoved binær fil
-
- dep: acl2-books-certs (= 8.3dfsg-2)
- Computational logik for Applicative Common Lisp - bibliotekscertifikater
-
- dep: acl2-books-source (= 8.3dfsg-2)
- Computational logik for Applicative Common Lisp - bibliotekskilder
Download acl2-books
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
i386 | 208,837.1 kB | 1,295,557.0 kB | [list of files] |