[ Source: acl2 ]
Package: acl2-infix-source (8.0dfsg-1)
Links for acl2-infix-source
Debian Resources:
Download Source Package acl2:
Maintainer:
Similar packages:
Applicative Common Lisp용 계산 로직: 중위 소스
ACL2는 컴퓨터 시스템 모델을 만드는 프로그래밍 언어이자 이 모델의 속성을 증명하는 도구입니다.
이 패키지에는 ACL2에 대한 중위 인터페이스 소스 파일이 들어있습니다.
Other Packages Related to acl2-infix-source
|
|
|
|
-
- dep: tex-common (>= 6)
- TeX 빌딩 및 설치를 위한 공용 인프라
Download acl2-infix-source
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 77.3 kB | 338.0 kB | [list of files] |