toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : acl2  ]

Paquet : acl2 (4.0-3)

Liens pour acl2

Screenshot

Ressources Debian :

Télécharger le paquet source acl2 :

Responsable :

Paquets similaires :

Une logique calculatoire pour Applicative Common Lisp : binaire principal

ACL2 est à la fois un langage de programmation dans lequel vous pouvez modeler des systèmes d'ordinateur et un outil pour vous aider à prouver les propriétés de ces modèles.

Ce paquet contient le binaire ACL2 de base.

Étiquettes: Développement de logiciel: Interpréteur, Programmation Lisp, Domaine: Mathématiques, Mis en œuvre en: Lisp, Interface utilisateur: Interactive en mode texte, Rôle: Programme, Champ d'application: Utilitaire, Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses, Fonctionne avec: Code source

Autres paquets associés à acl2

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger acl2

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
ia64 24 326,7 ko193 744,0 ko [liste des fichiers]