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

Liens pour acl2-books

Ressources Debian :

Télécharger le paquet source acl2 :

Responsable :

Camm Maguire (Page QA)

Ressources externes :

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

Paquets similaires :

logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées

ACL2 est à la fois un langage de programmation dans lequel il est possible de modeler des systèmes informatiques et un outil pour aider à prouver les propriétés de ces modèles.

Ce paquet contient de nombreuses bibliothèques pré-compilées et pré-certifiées utilisées pour démontrer des théorèmes avec ACL2. Les utilisateurs sérieux ont sans aucun doute besoin d'installer ce paquet.

Étiquettes: Développement de logiciel: Interpréteur, Programmation Lisp, devel::library, field::mathematics, Mis en œuvre en: Lisp, Rôle: role::app-data, role::program, Fonctionne avec: Code source

Autres paquets associés à acl2-books

dépendances

recommandations

suggestions

enhances

dep: acl2 (= 8.6+dfsg-2)

logique calculatoire pour Applicative Common Lisp - binaire principal
dep: acl2-books-certs (= 8.6+dfsg-2)

logique calculatoire pour Applicative Common List - certificats de bibliothèques
dep: acl2-books-source (= 8.6+dfsg-2)

logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque

Télécharger acl2-books

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	425 530,7 ko	3 860 992,0 ko	[liste des fichiers]
arm64	422 385,3 ko	3 793 554,0 ko	[liste des fichiers]
armel	394 888,7 ko	2 708 173,0 ko	[liste des fichiers]
armhf	404 099,9 ko	2 670 409,0 ko	[liste des fichiers]
i386	352 538,3 ko	2 440 777,0 ko	[liste des fichiers]
ppc64el	440 090,9 ko	4 123 801,0 ko	[liste des fichiers]
riscv64	958 497,2 ko	13 407 574,0 ko	[liste des fichiers]
s390x	426 706,6 ko	3 919 804,0 ko	[liste des fichiers]