Package: acl2-source (4.0-3)

[ Source: acl2  ]

Applicative Common Lisp용 계산 로직: 소스 파일

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

이 패키지에는 ACL2 주 바이너리의 소스 파일이 들어있습니다.

Tags: Software Development: Interpreter, Lisp Development, Field: Mathematics, Implemented in: Lisp, User Interface: Text-based Interactive, Role: Source Code, Interface Toolkit: Ncurses TUI

Download acl2-source

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	2,955.3 kB	11,612.0 kB	[list of files]