Major Section: OTHER
You can email questions about ACL2 usage to the acl2-help mailing list:
acl2-help@utlists.utexas.edu
. If you have more general questions about
ACL2, for example, about projects completed using ACL2, you may prefer the
acl2 mailing list, acl2@utlists.utexas.edu
, which tends to have wider
distribution.