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