|
If you want to join one of the ACL2 mailing lists, use this form. Please
note that the acl2-mtg list is intended only for those ACL2 users in Austin
who attend the weekly research seminar.
Your email address will not be shared with anyone except the ACL2 list owners. In order to combat spam, you must be subscribed to a list in order to post to it. |
ACL2 homepage