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

Package: acl2-infix-source (3.1-1)

Applicative Common Lisp용 계산 로직: 중위 소스

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

이 패키지에는 ACL2에 대한 중위 인터페이스 소스 파일이 들어있습니다.

Download acl2-infix-source

Download for all available architectures
Architecture Package Size Installed Size Files
all 83.3 kB372 kB [list of files]