Rechercher une page de manuel

Chercher une autre page de manuel:

acl2

Langue: en

Version: October 26, 2002 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

acl2 - A Computational Logic

SYNOPSIS

acl2

DESCRIPTION

This manual page documents briefly the acl2 command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. Instead, it has documentation in the GNU Info format as well as in html format. These are included in the acl2-doc package. The documentation can also be found at the project's website, http://www.cs.utexas.edu/users/moore/acl2, both in html form and in postscript.

AUTHOR

This manual page was written by Camm Maguire, <camm@enhanced.com>, for the Debian GNU/Linux system (but may be used by others).
Ils parlent avant d'avoir pensé et même s'ils se rendent compte par la
suite que leur assertion est fausse et qu'ils ont tort, il faut
néanmoins que cela semble le contraire.
-+- Arthur Schopenhauer (1788-1860) -+-