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

Links for acl2-books-certs

eLxr Patch Tracker

Imuroi lähdekoodipaketti acl2:

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

Ylläpitäjä:

Camm Maguire

External Resources:

Kotisivu [www.cs.utexas.edu]

Samankaltaisia paketteja:

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.

Muut pakettiin acl2-books-certs liittyvät paketit

depends

recommends

suggests

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

Imuroi acl2-books-certs

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	216,426.3 kt	842,487.0 kt	[tiedostoluettelo]