toutes les options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : acl2  ]

Paquet : acl2-books (8.0dfsg-1 et autres)

Liens pour acl2-books

Screenshot

Ressources Debian :

Télécharger le paquet source acl2 :

Responsable :

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

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
armel 8.0dfsg-1+b1 130 308,1 ko835 345,0 ko [liste des fichiers]