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