Paquet : acl2-books (8.6+dfsg-3 et autres)

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.4dfsg-2) [alpha, sh4]

logique calculatoire pour Applicative Common Lisp - binaire principal

dep: acl2 (= 8.5dfsg-2) [m68k]

dep: acl2 (= 8.6+dfsg-3) [non alpha, m68k, sh4]
dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

logique calculatoire pour Applicative Common List - certificats de bibliothèques

dep: acl2-books-certs (= 8.5dfsg-2) [m68k]

dep: acl2-books-certs (= 8.6+dfsg-3) [non alpha, m68k, sh4]
dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

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

dep: acl2-books-source (= 8.5dfsg-2) [m68k]

dep: acl2-books-source (= 8.6+dfsg-3) [non alpha, m68k, sh4]

Télécharger acl2-books

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	8.4dfsg-2	289 668,4 ko	2 492 023,0 ko	[liste des fichiers]
amd64	8.6+dfsg-3	425 557,8 ko	3 861 172,0 ko	[liste des fichiers]
arm64	8.6+dfsg-3	422 402,4 ko	3 793 608,0 ko	[liste des fichiers]
armel	8.6+dfsg-3	395 056,9 ko	2 708 195,0 ko	[liste des fichiers]
armhf	8.6+dfsg-3	404 129,4 ko	2 670 435,0 ko	[liste des fichiers]
hppa (portage non officiel)	8.6+dfsg-3	472 846,2 ko	3 120 721,0 ko	[liste des fichiers]
i386	8.6+dfsg-3	352 605,3 ko	2 440 787,0 ko	[liste des fichiers]
loong64 (portage non officiel)	8.6+dfsg-3	542 011,3 ko	5 431 693,0 ko	[liste des fichiers]
m68k (portage non officiel)	8.5dfsg-2	250 602,4 ko	1 794 077,0 ko	[liste des fichiers]
mips64el	8.6+dfsg-3	451 253,0 ko	4 092 803,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	8.6+dfsg-3	426 956,6 ko	4 088 427,0 ko	[liste des fichiers]
ppc64el	8.6+dfsg-3	440 170,5 ko	4 123 881,0 ko	[liste des fichiers]
riscv64	8.6+dfsg-3	959 053,0 ko	13 407 812,0 ko	[liste des fichiers]
s390x	8.6+dfsg-3	426 540,6 ko	3 919 865,0 ko	[liste des fichiers]
sh4 (portage non officiel)	8.4dfsg-2	253 509,8 ko	1 510 880,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	8.6+dfsg-3	415 968,1 ko	3 939 167,0 ko	[liste des fichiers]
x32 (portage non officiel)	8.6+dfsg-3	148 522,6 ko	1 125 472,0 ko	[liste des fichiers]