ACL2-HELP

the acl2-help mailing list
Major Section:  OTHER

You can email questions about ACL2 usage to the acl2-help mailing list: acl2-help@lists.cc.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@lists.cc.utexas.edu, which tends to have wider distribution.