acl2-doc - A Computational Logic for Applicative Common Lisp: documentation

Directory (beta)

Package Information

acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Debian/all/doc/

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 the documentation for ACL2.

Homepage: -

Package version: 2.9-2

Architecture: all

Distribution: Debian

Filename: acl2-doc_2.9-2_all.deb

Browse inside acl2-doc_2.9-2_all.deb:

pkg://acl2-doc_2.9-2_all.deb:1791978/  downloads
429 B 2004-11-05control  view  490+ mirrors
95.21 KB 2004-11-05md5sums  view  3 mirrors
395 B 2004-11-05postinst  view  172 mirrors
401 B 2004-11-05prerm  view  380+ mirrors
[DIR]usr/  1000+ twin directories

Download acl2-doc_2.9-2_all.deb:

Results 1 - 1

Homepage:	-
Package version:	2.9-2
Architecture:	all
Distribution:	Debian
Filename:	acl2-doc_2.9-2_all.deb