Package: acl2-books-certs (8.6+dfsg-3)

Applicative Common Lisp용 계산 로직: 라이브러리 인증서

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

이 파일에는 ACL2-books 패키지에서 제공하는 여러 가지 미리 컴파일한 라이브러리에 대한 인증서 기록이 들어있습니다. ACL2에서는 반드시 포함된 book이 사용 전에 모두 증명되어야 할 필요가 있습니다.

Tags: Software Development: Interpreter, Lisp Development, devel::library, field::mathematics, Implemented in: Lisp, User Interface: interface::text-mode, role::app-data, Role: Development Library, Program, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

This page is also available in the following languages (How to set the default document language):