Paket: acl2-books-certs (8.6+dfsg-2)

Länkar för acl2-books-certs

eLxr Patch Tracker

Hämta källkodspaketet acl2:

[acl2_8.6+dfsg-2.debian.tar.xz]
[acl2_8.6+dfsg-2.dsc]
[acl2_8.6+dfsg.orig.tar.gz]

Ansvarig:

Camm Maguire

Externa resurser:

Hemsida [www.cs.utexas.edu]

Liknande paket:

acl2-books
acl2-source
acl2
acl2-infix
acl2-doc
elpa-acl2
acl2-infix-source
cl-consfigurator
dh-lisp
clisp
librep-dev

Computational Logic for Applicative Common Lisp: library certificates

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.

Andra paket besläktade med acl2-books-certs

beror

rekommenderar

föreslår

enhances

dep: acl2 (>= 8.6+dfsg-2)

Computational Logic for Applicative Common Lisp: main binary
dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

Hämta acl2-books-certs

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	216.426,3 kbyte	842.487,0 kbyte	[filförteckning]