Paquet : acl2-books (8.5dfsg-5 et autres)

[ Paquet source : acl2  ]

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

• dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

  logique calculatoire pour Applicative Common Lisp - binaire principal

  dep: acl2 (= 8.5dfsg-1) [x32]

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

  dep: acl2 (= 8.5dfsg-5) [hppa]

  dep: acl2 (= 8.5dfsg-5+b1) [non alpha, hppa, m68k, mips64el, riscv64, sh4, x32]

  dep: acl2 (= 8.5dfsg-5+b2) [mips64el, riscv64]

• 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-1) [x32]

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

  dep: acl2-books-certs (= 8.5dfsg-5) [non alpha, m68k, sh4, x32]

• 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-1) [x32]

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

  dep: acl2-books-source (= 8.5dfsg-5) [non alpha, m68k, sh4, x32]

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.5dfsg-5+b1	294 256,6 ko	2 459 993,0 ko	[liste des fichiers]
arm64	8.5dfsg-5+b1	296 953,5 ko	2 468 589,0 ko	[liste des fichiers]
armel	8.5dfsg-5+b1	276 815,1 ko	1 669 610,0 ko	[liste des fichiers]
armhf	8.5dfsg-5+b1	282 431,0 ko	1 612 789,0 ko	[liste des fichiers]
hppa (portage non officiel)	8.5dfsg-5	316 071,0 ko	1 933 250,0 ko	[liste des fichiers]
i386	8.5dfsg-5+b1	253 513,0 ko	1 506 613,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.5dfsg-5+b2	319 145,9 ko	2 674 075,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	8.5dfsg-5+b1	289 742,9 ko	2 596 644,0 ko	[liste des fichiers]
ppc64el	8.5dfsg-5+b1	298 194,8 ko	2 625 207,0 ko	[liste des fichiers]
riscv64	8.5dfsg-5+b2	736 953,9 ko	10 749 304,0 ko	[liste des fichiers]
s390x	8.5dfsg-5+b1	288 226,3 ko	2 468 272,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.5dfsg-5+b1	280 840,9 ko	2 521 570,0 ko	[liste des fichiers]
x32 (portage non officiel)	8.5dfsg-1	77 761,8 ko	511 392,0 ko	[liste des fichiers]