[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: acl2  ]

Package: acl2-books (3.1-1)

Applicative Common Lisp용 계산 로직: 컴파일한 라이브러리

ACL2는 컴퓨터 시스템 모델을 만드는 프로그래밍 언어이자 이 모델의 속성을 증명하는 도구입니다.

이 패키지에는 ACL2 정리를 증명하는 데 쓰이는 수많은 미리 컴파일하고 미리 증명된 라이브러리가 들어있습니다. 진지한 사용자는 의심 없이 이 패키지를 설치할 것입니다.

Other Packages Related to acl2-books

  • depends
  • recommends
  • suggests
  • dep: acl2 (= 3.1-1)
    Applicative Common Lisp용 계산 로직: 주 바이너리
  • dep: acl2-books-certs (= 3.1-1)
    Applicative Common Lisp용 계산 로직: 라이브러리 증명
  • dep: acl2-books-source (= 3.1-1)
    Applicative Common Lisp용 계산 로직: 라이브러리 소스

Download acl2-books

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 2,777.0 kB21636 kB [list of files]
amd64 2,214.0 kB17128 kB [list of files]
arm 1,646.6 kB12136 kB [list of files]
hppa 7,590.0 kB36036 kB [list of files]
i386 1,577.8 kB12068 kB [list of files]
ia64 2,913.4 kB22812 kB [list of files]
mips 2,009.7 kB14140 kB [list of files]
mipsel 1,986.2 kB14140 kB [list of files]
powerpc 2,269.4 kB15020 kB [list of files]
s390 1,744.0 kB12772 kB [list of files]
sparc 1,859.8 kB13028 kB [list of files]