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

acl2-books-certs için bağlantılar

eLxr Yama Takipçisi

acl2 Kaynak Paketini İndir:

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

Geliştirici:

Camm Maguire

Dış Kaynaklar:

Ana Sayfa [www.cs.utexas.edu]

Benzer paketler:

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.

acl2-books-certs ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

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

acl2-books-certs indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	216.426,3 kB	842.487,0 kB	[dosya listesi]