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

Liens pour acl2-books-certs

Suivis des correctifs pour eLxr

Télécharger le paquet source acl2 :

Responsable :

Camm Maguire

Ressources externes :

Page d'accueil [www.cs.utexas.edu]

Paquets similaires :

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.

Autres paquets associés à acl2-books-certs

dépendances

recommandations

suggestions

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

Télécharger acl2-books-certs

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	216 426,3 ko	842 487,0 ko	[liste des fichiers]