acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface

Directory (beta)

Package Information

acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
This package contains an emacs interface to ACL2.

Homepage: -

Package version: 3.1-1

Architecture: all

Distribution: Ubuntu

Filename: acl2-emacs_3.1-1_all.deb

Browse inside acl2-emacs_3.1-1_all.deb:

pkg://acl2-emacs_3.1-1_all.deb:50576/  info  downloads
40 B 2006-12-06conffiles  view  1000+ mirrors
604 B 2006-12-06control  view  800+ mirrors
[DIR]etc/  1000+ twin directories
1.36 KB 2006-12-06md5sums  view  85 mirrors
242 B 2006-12-06postinst  view  240+ mirrors
216 B 2006-12-06prerm  view  1000+ mirrors
[DIR]usr/  1000+ twin directories

Download acl2-emacs_3.1-1_all.deb:

Results 1 - 1

Homepage:	-
Package version:	3.1-1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-emacs_3.1-1_all.deb