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

Links für acl2-books-certs

eLxr Patch-Überblick

Quellcode-Paket acl2 herunterladen:

Betreuer:

Camm Maguire

Externe Ressourcen:

Homepage [www.cs.utexas.edu]

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.

Andere Pakete mit Bezug zu acl2-books-certs

hängt ab von

empfiehlt

schlägt vor

erweitert

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 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	216.426,3 kB	842.487,0 kB	[Liste der Dateien]