The acl2-help mailing list
You can email questions about ACL2 usage to the acl2-help mailing
list: email@example.com. If you have more general questions
about ACL2, for example, about projects completed using ACL2, you may prefer
the acl2 mailing list, firstname.lastname@example.org, which tends to have wider
The following mailing list pages include links to their archives.