Paquet : acl2-emacs (3.1-1)

Liens pour acl2-emacs

Ressources Debian :

Télécharger le paquet source acl2 :

Responsable :

Camm Maguire (Page QA)

Paquets similaires :

Logique algorithmique pour application Common Lisp : interface emacs

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

Ce paquet contient une interface emacs pour ACL2

Étiquettes: Software Development: Interpreter, Lisp Development, Field: Mathématiques, Implemented in: Lisp, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Editing, Works with: Source Code

Autres paquets associés à acl2-emacs

dépendances

recommandations

suggestions

dep: acl2 (= 3.1-1)

Une logique calculatoire pour Applicative Common Lisp : binaire principal
dep: emacs21

Éditeur Emacs de GNU
un paquet virtuel est également fourni par emacs21-nox

ou emacsen

paquet virtuel fourni par emacs, emacs21, emacs21-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

Télécharger acl2-emacs

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	49,4 ko	284 ko	[liste des fichiers]