Paquet : acl2-books (8.0dfsg-1)

[ 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.0dfsg-1)

  logique calculatoire pour Applicative Common Lisp - binaire principal

• dep: acl2-books-certs (= 8.0dfsg-1)

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

• dep: acl2-books-source (= 8.0dfsg-1)

  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	134 713,3 ko	1 265 065,0 ko	[liste des fichiers]
arm64	138 036,8 ko	1 283 102,0 ko	[liste des fichiers]
armhf	122 433,5 ko	717 085,0 ko	[liste des fichiers]
i386	113 279,4 ko	702 523,0 ko	[liste des fichiers]