[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Källkod: acl2  ]

Paket: acl2-books (3.6-1 och andra)

A Computational Logic for Applicative Common Lisp: compiled libraries

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 numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.

Märken: Software Development: Interpreter, Lisp Development, Bibliotek, Field: Matematik, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Andra paket besläktade med acl2-books

  • beror
  • rekommenderar
  • föreslår
  • dep: acl2 (= 3.1-1) [m68k]
    A Computational Logic for Applicative Common Lisp: main binary
    dep: acl2 (= 3.4-2) [alpha, hppa, ia64, mips, mipsel]
    dep: acl2 (= 3.6-1) [amd64, armel, i386, powerpc, s390, sparc]
  • dep: acl2-books-certs (= 3.1-1) [m68k]
    A Computational Logic for Applicative Common Lisp: library certificates
    dep: acl2-books-certs (= 3.4-2) [alpha, hppa, ia64, mips, mipsel]
    dep: acl2-books-certs (= 3.6-1) [amd64, armel, i386, powerpc, s390, sparc]
  • dep: acl2-books-source (= 3.1-1) [m68k]
    A Computational Logic for Applicative Common Lisp: library sources
    dep: acl2-books-source (= 3.4-2) [alpha, hppa, ia64, mips, mipsel]
    dep: acl2-books-source (= 3.6-1) [amd64, armel, i386, powerpc, s390, sparc]

Hämta acl2-books

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha 3.4-2 28.081,3 kbyte130112 kbyte [filförteckning]
amd64 3.6-1 34.275,4 kbyte154184 kbyte [filförteckning]
armel 3.6-1 29.891,1 kbyte93596 kbyte [filförteckning]
hppa 3.4-2 32.280,6 kbyte105436 kbyte [filförteckning]
i386 3.6-1 29.561,2 kbyte92456 kbyte [filförteckning]
ia64 3.4-2 25.802,8 kbyte120736 kbyte [filförteckning]
m68k (inofficiell anpassning) 3.1-1 1.590,4 kbyte12408 kbyte [filförteckning]
mips 3.4-2 24.286,2 kbyte75880 kbyte [filförteckning]
mipsel 3.4-2 23.274,5 kbyte75880 kbyte [filförteckning]
powerpc 3.6-1 39.325,1 kbyte114568 kbyte [filförteckning]
s390 3.6-1 37.658,4 kbyte116076 kbyte [filförteckning]
sparc 3.6-1 32.006,5 kbyte102520 kbyte [filförteckning]